for C being FormalContext holds ConceptLattice C is complete Lattice