Partially ordered set Uncommon

bounded lattice poset partial order galois connection tamari lattice totally ordered locale complete lattice filter ideal cofinality algebraic poset antichain semilattice ordered pair complete partial order partially ordered order cofinal supremum set pseudoideal domain theory lattice lexicographic order

set unset biset coset inset enset onset muset osset poset upset reset beset roset asset verset gifset cogset misset closet