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