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