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

Bounded Lattice

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

on top of #150 and #151 A Bounded Lattice is also a Bounded Join and a Bounded Meet Semi Lattice.

Laws

  • Laws of Bounded Join Semi Lattices
  • Laws of Bounded Meet Semi Lattices
  • Absorption of meet: meet a (join a b) = a
  • Absorption of join: join a (meet a b) = a

Suggested Incarnation

  • Bool

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