insieme quoziente
insieme quoziente di un insieme X in cui sia stata definita una relazione di equivalenza ∼, è l’insieme indicato con il simbolo A /∼, i cui elementi sono le classi di equivalenza di A rispetto a ∼. Per esempio, se nell’insieme R delle rette dell’ordinario spazio tridimensionale si considera la relazione ∼ di parallelismo (che è una relazione di equivalenza), allora l’insieme quoziente R /∼ è l’insieme delle direzioni.