В данном разделе приводится сводка нотации, определенной в настоящем стандарте.
6.1 Ограничение
В настоящем стандарте определена следующая нотация, которая может быть использована как альтернатива для спецификации ограничения "ConstraintSpec" (см. ГОСТ Р ИСО/МЭК 8824-1, пункт 44.5): GeneralConstraint (см. 8.1).