`Fix.SEMI_LATTICE`

The signature `SEMI_LATTICE`

offers separate `leq`

and `join`

functions. The functor `Glue.MinimalSemiLattice`

can be used, if necessary, to convert this signature to `MINIMAL_SEMI_LATTICE`

.

The type `property`

must form a partial order, which must satisfy the ascending chain condition: every monotone sequence must eventually stabilize.