Множества, заданные характеристическим свойством, определяются следующим образом:
Характеристикическим свойством (или предикатом) называется логическое высказывание, которое истинно для каждого элемента множества и ложно для всех остальных элементов.
Множество, заданное характеристическим свойством P, обозначается {x | P(x)}. Пример:
Зададим характеристическим свойством множество всех четных чисел:
