partially-ordered-set

Narrow by algebraic-magma 13 algebraic-structure 13 semigroup 13 semilattice 13 join-semilattice 11 meet-semilattice 11 mathematical-lattice 10 bounded-lattice 2 complete-lattice 2 distributive-lattice 2 heyting-algebra 1 totally-ordered-set 1