Exemplo 1: A relao R sobre o conjunto A={a, b, c} descrita por:

R = {(a, a), (b, b), (c, c)}

uma relao reflexiva.

O diagrama de flechas que representa a R dado a seguir por:

a b

(*) R reflexiva, observe que todo elemento do conjunto A possui um lao

A relao R dita SIMTRICA se quando x est relacionado com y, implicar em

y estar relacionado com x, ou seja:

(x, y) R (y, x) R, para x, y A

Exemplo2 : A relao R no conjunto A={a, b, c} descrita por:

R = {(a, a), (b, b), (a, b), (b, a), (b, c), (c, b)}

uma relao simtrica.

A
a
b

(*) R simtrica, observe que toda flecha possui duas pontas

A relao R dita TRANSITIVA se quando x est relacionado com y e
y est relacionado com z, implicar em x estar relacionado com z, ou seja:

(x, y) R e (y, z) R(x, z) R, para x, y, z A.

Exemplo 3: A relao R no conjunto A={a, b, c}, descrita por:

R = {(a, a), (a, c), (c, b), (a, b)}

uma relao transitiva.

A
a b

(*) R transitiva, para um par de flechas consecutivas existe uma flecha cuja origem
est na origem da primeira e a extremidade est na extremidade da segunda.
A relao R dita ANTISSIMTRICA se quando x est relacionado com y e y
est relacionado com x somente quando x = y.

(x, y)R e (y, x) R x = y, para x e y A

Exemplo: Uma relao R no conjunto A={a, b, c}, descrita por

R = {(a, a), (b, b), (a, b), (a, c)}

antissimtrica.
 A
a b

(*) R antissimtrica, observe que no existem flechas com duas pontas

Resumindo:
Uma relao R sobre o conjunto A pode ser classificada como:

Reflexiva quando para todo x A , (x, x) R ou xRx.

Simtrica quando para quaisquer x, y A , se xRy ento yRx .
Antissimtrica quando para quaisquer x, y A , se xRy e yRx ento x = y .
Transitiva quando para quaisquer x, y, z A, se xRy e yRz ento xRz .

Exemplo: Considere o conjunto Z dos nmeros inteiros.