Relacja równoważności: Różnice pomiędzy wersjami

Przekształcenie <math>X \to X/_\sim\;</math> dane wzorem <math>x \mapsto [x]\;</math> (każdemu elementowi przypisana jest jego klasa abstrakcji) nazywa się '''odwzorowaniem ilorazowym'''. Jest ono zawsze jest [[funkcja "na"|funkcją „na”]]. Ponieważ utożsamianie pewnych elementów zbioru jest podobne do przeprowadzania geometrycznej operacji [[rzut (geometria)|rzutu]] (w której utożsamiane są obiekty leżące „pod” rzutowanym obiektem), to przekształcenie to nazywa się również '''rzutowaniem kanonicznym''' bądź '''naturalnym'''.