preface icon indicating copy to clipboard operation
preface copied to clipboard
verified publisher icon xvw

Bounded Meet Semi Lattice

Open gr-im opened this issue 4 years ago • 0 comments

on top of #149

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

Operation

  • Meet Semi Lattice with
  • val top: t

Laws:

  • laws of Meet Semi Lattice
  • Unitary: meet a top = a

Suggested incarnation:

  • Bool

gr-im avatar Nov 25 '21 22:11 gr-im