Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
такое подмножество кольца R, разность двух произвольных элементов которого принадлежит фиксированному идеалу I ⊂ R
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
замкнутая ломаная линия
истинный нормальный делитель