Формально: U — універсальна множина ⇔ ∀X: X∩U=X. Таким чином, будь-яка множина X повністю міститься в універсальній множині U. Виходячи з цього можна дати таке визначення універсальної множини: якщо в рамках деякої задачі розглядаються тільки підмножини деякої фіксованої множини U, то сама ця множина U називається універсальною множиною.