O que são relações reflexivas e antissimétricas?
Uma Relação Reflexiva em um Conjunto é uma relação binária que vale para cada elemento do conjunto. Em outras palavras, uma Relação Reflexiva é aquela em que cada elemento está relacionado a si mesmo, o que significa para todo x ∈ A, (x,x) ∈ R. Uma relação é chamada de Relação Antisimétrica para uma relação binária R em um conjunto A, se não houver par de elementos distintos ou dissimilares de A, cada um dos quais relacionado por R ao outro. De maneira formal, a relação R é antisimétrica, especificamente se para todo a e b em A, se R(x, y) com x ≠ y, então R(y, x) não deve valer, ou, equivalentemente, se R( x, y) e R(y, x), então x = y.