lattice is:module
In mathematics, a lattice is a partially ordered set in which every
two elements have a unique supremum (also called a least upper bound
or join) and a unique infimum (also called a greatest lower
bound or meet).
In this module lattices are defined using meet and
join operators, as it's constructive one.