Lattice_type
.
Join_Semi_Lattice