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