for L being complete LATTICE st L is continuous holds
for S being CLSubFrame of L holds S is continuous LATTICE