Methods IDEF3

А.1.2 Операторы
Операторы - это зарезервированные выражения, используемые для формирования более сложных выражений, в частности, термов, предложений и определений. В данном подразделе рассматриваются операторы, являющиеся частью языка детального описания IDEF3.

Операторы определений (Definition Operator): Эти операторы используются для формирования определений для идентификаторов, предназначенных для обозначения объекта в одной из базовых семантических категорий языка: define-individual, define-function, define-relation.
Операторы термов (Term Operator): Эти операторы используются для формирования сложных термов. Существует шесть таких операторов: listof, the, number-of, cond, lambda, kappa.
Операторы предложений (Sentence Operator): Эти операторы используются для формирования сложных предложений. Язык детального описания IDEF3 включает известные булевы операторы и связанные истинностные функциональные операторы (not, and, or, xor (разделительная дизъюнкция), => (импликация), <=> (коимпликация). Сюда также входят стандартные кванторы общности и существования forall и exists, а также массив цифровых кванторов существования exists-1 (существует как минимум один - эквивалент exists), exists!-1 (существует только один), exists-2 (существует как минимум два), exists!-2 (существует только два) и т.д.