Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
квадратичная форма, значение которой всюду неположительно
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
знакочередующийся ряд 1 + 1/3 + 1/5 + 1/7 +…, сходящийся к π/4
истинный нормальный делитель