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

Lattice

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

on top of #148 and #149 A Lattice is also a Join and a Meet Semi Lattice.

Laws

  • Laws of Join Semi Lattices
  • Laws of 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