Универсум — область, на которой определены значения предиката. Из этой области берутся значения для означивания переменных, входящих в предикат. Для многоместных предикатов У. есть декартово произведение областей определения для каждого из аргументов предиката.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]