1) Если все элементы одного множества совпадают с элементами другого множества, то они (множества) считаются равными.
Множества [1..5] и [1,2,3,4,5] равны.
2) Если все элементы одного множества являются членами другого множества, то 1 множество включено во 2 множество.
[‘C’,’E’] включено в множество [‘A’..’Z’].
3) Если нижнее граничное значение больше, чем верхнее граничное значение, то множество является пустым.
[5..1] – пустое множество, т.е. эквивалентно [ ].
Переменным типа множество присваивают результат выражений над множествами с помощью обычного знака присваивания.