Meet Semi Lattice

[gr-im]

A Meet Semi Lattice capture the notion of a set with "least lower bound"

Operation

• val meet : t -> t -> t

Laws:

• associativity : meet a (meet b c) = meet (meet a b) c
• commutativity: meet a b = meet b a
• idempotency: meet a a = a

Suggested incarnation:

• Bool