for C being FormalContext holds ConceptLattice C is Lattice