Relação binária: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 165:
===Transitividade===
Exemplo: Se ''a'' é irmão de ''b'', e ''b'' é irmão de ''c'', então ''a'' é irmão de ''b''.
Formalmente, uma relação é dita '''transitiva''' se ''aRb'' e ''bRc'' implicam em ''aRc''. A relação se diz '''antitransitiva''' quando ''aRb'' e ''bRc'' implicam que não é verdade ''aRc''.
A relação ''R''<sub>3</sub> não é transitiva porque (2,1) e (1,3) ∈ ''R''<sub>3</sub>, mas (2,3) ∉ ''R''<sub>3</sub> . Todas as outras relações são transitivas.
| |||