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.

Sendo E= {o, p, q} e considerando as relações em E:

 R1 = {(p, p); (o, o); (o, p)}.

 R2 = {(o, o); (o, p); (o, q); (p, p); (p, q); (q, q)}.

 R3 = {(o, o); (o, q); (p, o); (p, q); (q, o); (q, p); (q, q)}.

 R4= E x E

 R5= ø (vazio)

 Quais são as relações que apresentam a propriedade transitiva?  

• R1, R4 e R5

• R2, R4 e R5

• R3, R4 e R5

• R2, R3 e R5

• Apenas R4 e R5