Does the following relation define a partial ordering on the indicated set?
CHOICES[CHOICESINDEX]
A relation is a partial ordering if it is antisymmetric and transitive.
Is the relation antisymmetric on the set? That is, for
any two elements a and b of
the set, if (a, b) is in the relation, then
(b, a) is NOT in the relation?
Is the relation transitive on the set? That is, for any
three elements a, b,
and c, if (a, b) is in the
relation and (b, c) is in the relation,
then is (a, c) also in the relation?