В Паскале множества сравнивают между собой применяя операции отношения.
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;