L’insieme quoziente “di (insieme) per (relazione)” è l’insieme di tutte le classi di equivalenza dell’insieme preso in considerazione su cui vale la relazione studiata.

Notazione: per , l’insieme quoziente si scrive o .