Эквидистантная поверхность (или равных расстояний поверхность)

интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x

такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент

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