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.
lreflexive
property: For every x in the domain
x is related to x.
A
B
O
AB
*
(Note that any of x, y, z may be equal!)