Partially ordered set
A pair of set and partial-order considered partially ordered set
If each pair of elements are comparable, it is a linearly-ordered-set
A pair of set and partial-order considered partially ordered set
If each pair of elements are comparable, it is a linearly-ordered-set