text: Отображение φ : X ↦ X / X 0 {\displaystyle \varphi \colon X\mapsto X/X_{0}} , сопоставляющее каждому элементу из X {\displaystyle X} класс эквивалентности, в котором он лежит, называется факторотображением.