theorem :: WAYBEL_5:28

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