partially ordered set,
n.
a set endowed with a
partial order
.
