Definitions for "Poset"
Keywords:  semilattice, iff, cpo, lattice, join
a complete lattice iff it is a cpo and a join-semilattice
Keywords:  preorder, skeletal
a skeletal preorder
Keywords:  partial, order, set, see
A partially order set.
a partially ordered set
See partial order.