Chama-se "relação de E em E" a todo subconjunto do produto cartesiano EXE. Em particular, uma relação de um conjunto E no mesmo conjunto E é chamada "relação em E".

Consideremos uma relação R num conjunto E, então:

R Reflexiva significa que todo elemento de E está relacionado consigo mesmo.

R Simétrica significa que se x está relacionado com y então y está relacionado com x.

R Anti-Simétrica significa que se x está relacionado com y e y está relacionado com x, então x=y.

R Transitiva significa que se x está relacionado com y e y está relacionado com z, então x está relacionado com z.

Seja E= {d, e, f}. Considerem as relações em E:

 R1 = {(d, d); (e, e); (d, e)}.

 R2 = {(d, d); (d, e); (d, f); (e, e); (e, f); (f, f)}.

 R3 = {(d, e); (d, f); (e, d); (e, f); (f, d); (f, e); (f, f)}.

 R4= E x E

 R5= ø (vazio)

 Quais são as relações que apresentam a propriedade simétrica?  

• Apenas R4 e R5. 

• R3, R4 e R5. 

• R2, R4 e R5. 

• Apenas R2 e R5. 

• R1, R4 e R5.