A binary relation on a set
is reflexive if for all
,
implies
.
is antisymmetric, not symmetric, if there exists
for which
but
.
A binary relation on a set
is reflexive if for all
,
implies
.
is antisymmetric, not symmetric, if there exists
for which
but
.