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