Relação binária: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m Conserto na definição de "relação extensível" e acréscimo de hiperlink para "relação bem ordenada".
Etiquetas: Editor Visual Edição via dispositivo móvel Edição feita através do sítio móvel
m Conserto na semântica da descrição de uma propriedade de "antitransitividade".
Etiquetas: Editor Visual Edição via dispositivo móvel Edição feita através do sítio móvel
Linha 182:
Exemplo: Se ''a'' é irmão de ''b'', e ''b'' é irmão de ''c'', então ''a'' é irmão de ''c''.
 
Formalmente, uma relação é dita '''transitiva''' se ''aRb'' e ''bRc'' implicam ''aRc''. ASe relaçãoa serelação dizfor '''antitransitiva''' quandoentão ''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) &notin; ''R''<sub>3</sub> . Todas as outras relações são transitivas.