Conjunto quociente
Em matemática, chamamos partição do conjunto , induzida pela relação de equivalência , o conjunto formado por todas as classes de equivalência, obtidas em pela relação .
Também podemos usar a expressão conjunto quociente de por para indicar a partição de induzida pela relação . [1]