Стрелка Пирса (символ Лукашевича)

значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики

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

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