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