Означення. Множина U (позначається також І), для якої решта всіх інших множин є підмножинами, називається універсальноюмножиною, а також повною, або одиничною. Іноді вона ще називається універсумом.
Універсальна множина є поняттям відносним. Наприклад, в арифметиці універсальною множиною вважається множина раціональних чисел, а її підмножиною буде множина цілих чисел. У той же самий час множина натуральних чисел є підмножиною цілих чисел.