Relação de equivalência
Origem: Wikipédia, a enciclopédia livre.
Uma relação de equivalência é uma relação binária entre elementos de um dado conjunto. De forma mais rigorosa, uma relação de equivalência num conjunto X é uma relação binária que é reflexiva, simétrica e transitiva:
(reflexividade)
(simetria)
(transitividade)