Lattice_type
.
With_Cardinal_One