Properties of Binary Relations (1 of
2)
lThe previous relation
example illustrates two common properties that a
binary relation may have:
ltransitive property: For every x, y, z
in the domain *
if x is related to y and y is related to z,
then x is related to z.
if x is related to y and y is related to z,
then x is related to z.
lreflexive property: For every x in the
domain
x is related to x.
x is related to x.
A
B
O
AB
*
(Note that any of x, y, z may be equal!)