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

Conteúdo apagado Conteúdo adicionado
Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta14)
Linha 171:
* '''Relação euclidiana''': para todo ''a, b'' e ''c'' em ''A'', é verdade que se ''aRb'' e ''aRc'' então ''bRc''.
 
* '''Relação extensível''' (ou '''serial'''): para todo ''a'' em ''A'', existe um ''b'' em ''A'' tal que ''aRbaR~;/çb''. "Maior que” é uma relação extensível nos inteiros. Mas não é um relação extensível nos inteiros positivos, porque não existe um ''x'' nos inteiros positivos tal que 1>x.
 
Uma relação ''R'' que é ''simétrica'' e ''anti-simétrica'' ao mesmo tempo tem a propriedade que se ''xRy'' então ''x = y''. Em um conjunto finito com ''n'' elementos existem apenas <math>2^n</math> dessa relação.