Сравнение множеств

В Паскале множества сравнивают между собой применяя операции отношения.

1. Два множества А и В равны, если каждый элемент множества А является элементом множества В и наоборот, то есть А = В.

2. Множество А есть подмножество множества В, если каждый элемент А присутствует в В: А <= В или В >= А.

3. Принадлежность множеству (оператор in). Пусть А – множество элементов базового типа, а X – переменная этого типа. Выражение X in A истинно, если X является элементом множества А.

Например,

3 in S6 возвращает TRUE;

2 * 2 in S1 возвращает FALSE;

Дополнительно к этим операциям можно использовать две процедуры: INCLUDE - включает новый элемент во множество.

Обращение к процедуре:

INCLUDE (S, I);

Здесь, S – множество, состоящее из элементов базового типа;

I – элемент базового типа, который необходимо включить во множество.

И вторая процедура EXCLUDE – исключает элемент из множества.

Обращение к процедуре имеет вид:

EXCLUDE (S, I);

Например,

VAR

chars1, chars2, chars3: set of char;

…..

chars1:= [‘a’, ‘x’, ‘o’];

chars2:= chars1 – [‘a’]; {то есть chars2 = [‘o’, ‘x’];}

chars3:= chars1 + chars2 + [‘e’]; {то есть chars3 = [‘a’, ‘x’, ‘e’, ‘o’]}

not (‘g’ in chars2) – ‘g’ не является элементом chars2.

Выражение

chars1 <> chars2 – множества не совпадают по составу входных элементов;

chars1 >= chars2 – каждый элемент chars2 присутствует и в chars1;

chars1 <= chars3 – каждый элемент chars1 присутствует и в chars3;

‘a’ in chars1 – элемент ‘a’ присутствует во множестве chars1;