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?