Relação binária: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 186.228.148.2 para a última revisão de Dexbot, de 17h52min de 23 de setembro de 2015 (UTC) |
|||
Linha 145:
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 propriedade de transitividade também pode ser expressa em termos da composição de relações. Para uma relação ''R'' em ''A'', definimos ''R''² = ''R⋅R'' e, mais geralmente, ''R''<sup>n</sup> = ''R<sup>n-1</sup>⋅R''.
| |||