theorem Th52: :: FILTER_2:52

for L being Lattice holds
( L is C_Lattice iff L .: is C_Lattice )