ORDERED SET
Definition
An object is an <ORDERED SET> if and only if: it is a <PARTIALLY ORDERED SET>; for all x and y in the principal set S, either (x, y) or (y, x) is a member of the order Z (as defined for a partially_ordered_set) unless x = y