definitive specification

Лог. определяющее требование (соответствующее истинностной таблице)

Источник: Полный англо-русский словарь на Gufo.me