theorem Th44: :: CONLAT_1:44

for C being FormalContext holds ConceptLattice C is complete Lattice