Skup je osnovni matematicki pojam koji se ne definiše. Iako nema definiciju skup se može shvatiti kao bilo koja kolekcija različitih objekata smatranim cjelinom. Iako se ovo čini jednostavnom idejom, skupovi su svejedno jedan od najvažnijih fundamentalnih koncepata u modernoj matematici. Matematička disciplina koja proučava moguće skupove, teorija skupova, je sadržajno bogata i aktivna.
Teorija skupova, stvorena tek krajem 19. stoljeća, je danas sveprisutni dio matematičkog obrazovanja, te se stoga u većini zemalja uvodi već u osnovnoj školi. Teorija skupova se može da se shvati kao osnova nad kojom može biti izgrađena gotovo cijela matematika, te kao ishodište iz kojeg gotovo cijela matematika može biti izvedena.