Basic theorem as representation of heterogeneous concept lattices

摘要

We propose a method for representing heterogeneous concept lattices as classical concept lattices. Particularly, we describe a transformation of heterogeneous formal context into a binary one, such that corresponding concept lattices will be isomorphic. We prove the correctness of this transformation by the basic theorem for heterogeneous as well as classical concept lattices.