New method for constructing the intent and extent of concepts in concept lattice

摘要

Partial order is crucial for concept lattice construction.A relation called ordered isomorphism on concept lattice can be used to construct a particular partial order.In this paper,based on the formal context K = (G,M,I),a partial order is defined on the power set of object set G,i.e.P(G) and the power set of attribute set M,i.e.P(M),respectively.It proves that the ordered isomorphism exists between the concept lattice U(K) and the poset (P(G),<) or U (K) and (P(M),<,),and gives a new method for constructing the intents and extents in U (K).