Універсальна множина (універсум) — в теорії множин така множина U, для якої перетин цієї множини з будь-якою множиною X збігається з цією множиною X. Універсальна множина єдина.
Таким чином, будь-яка множина X повністю міститься в універсальній множині U. Виходячи з цього можна дати таке визначення універсальної множини: якщо в рамках деякої задачі розглядаються тільки підмножини деякої фіксованої множини U, то сама ця множина U називається універсальною множиною.
Порожня множина в математиці — множина, яка не містить жодного елемента. Така множина позначається як Ø або {}.