theorem Th6: :: WAYBEL13:6

for L being lower-bounded algebraic LATTICE
for S being CLSubFrame of L holds S is algebraic