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?