Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
целое число a, для которого разрешимо сравнение x3 ≡ a (mod m)
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству
соприкасающийся круг