theorem Th42: :: CONLAT_1:42

for C being FormalContext holds ConceptLattice C is Lattice