Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
разность между суммой углов сферического треугольника и двумя прямыми углами; избыток треугольника пропорционален его площади
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
цепь, не содержащая цикла (т. е. все ее вершины различны)
истинный нормальный делитель