Операции над множествами

Результаты операций над множествами подчиняются правилам логики множеств.

• 
  Порядковое значение С принадлежит А + В только в том случае, если С принадлежит А или В.
• 
  Порядковое значение С принадлежит А - В только в том случае, если С принадлежит А, но не принадлежит В.
• 
  Порядковое значение С принадлежит А * В только в том случае, если С принадлежит и множеству А, и множеству В.
• 
  Если наименьшее порядковое значение, которое является результатом операции над множествами - это А, а наибольшее - В, то типом результата будет set of А..В.

^

Операции отношения.

^

Сравнение простых типов

Когда у операций =, <>, <, >, <=, >= операнды простых типов, то это должны быть совместимые типы. Однако, если один операнд имеет действительный тип, то другой может быть целого типа.
^

Сравнение строк

Операции отношения =, <>, <, >, <=, или >= могут применяться для сравнения строк согласно порядку расширенного набора символов кода ASCII. Любые два значения строковых данных можно сравнить, поскольку все значения строковых данных совместимы.

Значения символьного типа совместимы со значениями строкового типа, и при их сравнении символьное значение обрабатывается как строковое значение длиной 1.
^

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

• 
  Если операндами являются множества А и В, то при их сравнении получаются следующие результаты:
• 
  Выражение А = В истинно только тогда, когда А и В содержат одни и те же элементы, в противном случае А <> В.
• 
  Выражение А <= В истинно, если каждый элемент множества А также является элементом множества В.
• 
  Выражение А >= В истинно, когда каждый элемент множества В также является элементом множества А

^