Задание множества

Чтобы задать множество, нужно указать, какие элементы ему принадлежат. Если для данного элемента условие выполнено, то он принадлежит определяемому множеству, в противном случае - не принадлежит.

Множество может быть задано различными способами:

Перечисление элементов. Перечисление элементовприменимо только для конечного множества. Для задания множеств используются фигурные скобки { }, в которые записывают обозначения элементов множества и разделяют их запятой.

Характеристический предикат. Множество задается указанием свойств элементов Р(х), которые записываются в фигурных скобках { }, т.е при помощи характеристического предиката: М: = { m| Р(х)}. Характеристический предикат — это некоторое условие, выраженное в форме логического утверждения или процедуры, возвращающей логическое значение, и позволяющее проверить, принадлежит ли любой данный элемент множеству. Вообще предикат – это высказывание, содержащее одно или несколько переменных, т.е повествовательное предложение, которое может быть только истинным или ложным.

Порождающая процедура. При задании множества порождающей процедурой множество имеет вид: М: = {х | х: = f}. Порождающая процедура - это процедура, которая в процессе работы порождает некоторые объекты, являющиеся элементами определяемого множества.