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)