ИМПЛИКАТИВНОЕ ОГРАНИЧЕНИЕ

(implicational constraint)

Ограничение типа "если G, то Н", где G и Н - это структуры элементов.

Примечание - Такое ограничение идентифицирует любую структуру элементов F как неадекватную, когда G категоризирует F, а F и Н обычно не имеют адекватного расширения. См. категоризация и п.8.5. Часто ограничение такого вида используется при обращении к импликативным ограничениям, которые одновременно не являются ограничениями по допустимости.

"ГОСТ Р ИСО 24610-2-2013 Менеджмент языковых ресурсов. Структуры элементов. Часть 2. Декларация системы элементов" от 08.11.2013 г.