Propriedades de Relações Binárias

 Uma relação binária R entre elementos de um conjunto C caracteriza-se por meio das propriedades que se seguem, considerando-se x, y, z Î C:

1 Reflexividade xRx
2 Simetria xRy Þ yRx
3 Anti-simetria xRy  ^ yRx Þ x = y
4 Transitividade xRy  ^ yRz Þ xRz

Exemplos:

Seja I o conjunto dos números inteiros, e seja R a relação £ sobre I. Esta relação é:
Seja C o conjunto dos computadores da UFSC, e seja R a relação <está conectado diretamente por fibra ótica a> sobre C. Esta relação é:
Seja P um conjunto de pessoas, e seja R a relação <é pai/mãe de> sobre P. Esta relação é: