Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
квантор ∀, ставящий предикату P в соответствие высказывание ∀x P (x), утверждающее, что область истинности предиката P совпадает с его областьюопределения, т. е. «P(x) для всех x»; напр., высказывание ∀α(sin α≤ 1) утверждает, что синус любого угла не превышает единицы
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
максимальный связный подграф данного графа
идеал, состоящий только из нулевого элемента