Seja A = {1,2,3}. Considere as seguintes relações em A:
= {(1,2);(1,1);(2,2);(2,1);(3,3)}
= {(1,1);(2,2);(3,3);(1,2);(2,3)}
= {(1,1);(2,2);(1,2);(2,3);(3,1)}
= AxA;
= 
Quais são reflexivas?Simétrica? anti-simétricas? e Transitivas?
Solução:
Reflexivas:
;
;
;Pergunto: Porque o conjunto vazio não é reflexivo?
Simétricas:
;
;Pergunto: o Conjunto Vazio é simétrico ou não?Porquê?
Transitivas:
é transitiva pois, (1,2)
;(2,2)
e obviamente implica que (1,2)
; como também (2,1)
;(1,2)
implica que (2,2)
; ok?
não é transitiva pois, (1,2)
;(2,3)
, mas (1,3)
;
não é transitiva pois (1,2)
; (2,3)
; mas, (3,1)
;
é transitiva;Pergunto: conjunto Vazio é transitivo, porquê? ;
Anti-Simétrica:
;
;
.

não é reflexiva porque, obviamente, não contém os elementos do tipo (a, a), para todo a em A.
.
;
; mas,
;
"
não é reflexiva? Porque (3, 3) não está em
. Novamente, note que esse problema não ocorre em ![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}} \frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png)
e elevar ao quadrado os dois lados)