Classe de equivalência

De Professor Global

 n. uma classe de elementos contendo todos os membros do conjunto fundamental que são relacionados por uma Relação de equivalência. Como cada uma das classes de equivalência é fechada sobre a relação de equivalência, e como dois elementos pertencem à mesma classe de equivalência se e somente se a relação vale entre eles, o conjunto de todas classes desse tipo constitui uma Partição do conjunto fundamental. Por exemplo, cada um das n classes residuais distintas módulo n é uma classe de equivalência sobre congruência mod n; as classes de funções mensuráveis que concordam em quase todo o lugar são classes de equivalência.