Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
непрерывный линейный оператор P ′(x̅), ставящий приращению x в соответствие дифференциал Гато оператора P в точке x̅: P ′(x̅) h̅ = DP (x̅, h̅)
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
истинный нормальный делитель