Can a Formal Concept Lattice Have two Empty Sets?

63 Views Asked by At

Let $G=\{cat,apple\}$ and $M=\{Meows,Fruit\}$

then

$C(G,M,I) = \{(\emptyset,\{Meows,Fruit\}), (\{Cat\},\{Meows\}),(\{Apple\},\{Fruit\}),(\{Cat,Apple\},\emptyset)\}$

And the lattice looks like this with the empty set on top and bottom. Is this allowed?

enter image description here

Update: I thought about it more last night, and I guess it depends on if you are showing the intent or extent on the lattice. If we we write the intents, the second empty will become {Cat,Apple} instead