1. матем. булева функция, принимающая истинное значение на единственном наборе значений переменных

Источник: Wiktionary.org