Teorema: "Seja R uma relação de equivalência sobre um conjunto A, se aRb, então [a] = [b]."
Demonstração: "Considere que aRb. Provaremos que [a] = [b], mostrando que [a] c [b] e [b] c [a].
Suponha que c e c' sejam elementos de A, assim, aRc'. Sabendo que aRb e R é simétrica, então bRc'. Assim, c c [b]. Isso mostra que [c].
A inclusão [a] c [b] e análoga:"
Assim, podemos afirmar que:
Escolha uma opção:
a. A = bRa, B = transitiva e C = [a] c [b].
b. A = bRa, B = reflexiva e C = [a] c [b].
c. A = cRa, B = transitiva e C = [a] c [b].
d. A = cRa, B = transitiva e C = [a] c [b].