1. У математиці, зокрема в теорії множин — множина, елементами якої є всі об’єкти, що розглядаються в певному контексті або теорії; універсальна множина, що містить усі можливі елементи даної математичної структури.
2. У логіці та формальних системах — базовий набір об’єктів (предметна область), на який поширюються квантори та над яким визначаються предикати та відношення.