Showing changes from revision #4 to #5: Added | Removed | Changed

< lattice

A lattice is a poset or (0,1)-category $(P, \leq, \bot, \vee, \top, \wedge)$ such that $(P, \leq, \bot, \vee)$ is a join-semilattice and $(P, \leq, \top, \wedge)$ is a meet-semilattice

poset

join-semilattice

meet-semilattice

distributive lattice

sigma-complete lattice

suplattice

Last revised on June 10, 2022 at 12:36:09. See the history of this page for a list of all contributions to it.