Pojem množina je jeden zo základných pojmov modernej matematiky. Množina je súbor navzájom rôznych (rozlíšiteľných) matematických alebo iných objektov. O každom z objektov sa musí dať rozhodnúť, či do danej množiny patrí alebo nie. Množiny sa väčšinou označujú veľkými písmenami, napr. A, B, N a ich obsah (objekty) sa zapisujú do zložených zátvoriek. Napr. množinu A obsahujúcu objekty a, b zapíšeme A = {a, b}.
Množiny A a B sa rovnajú, keď každý prvok množiny A patrí množine B a každý prvok množiny B patrí množine A. Množina A je podmnožinou množiny B práve vtedy, ak všetky prvky množiny A patria zároveň aj množine B. Zjednotením množín A a B nazývame množinu A ∪ B, ktorá obsahuje prvky patriace aspoň do jednej z množín A, B, teda obsahuje prvky, ktoré patria do množiny A alebo do množiny B a okrem nich neobsahuje žiadne iné prvky.