for L being Lattice holds the carrier of L is ClosedSubset of L