definitive specification в энциклопедиях
лог. определяющее требование (соответствующее истинностной таблице)