In de wiskunde is een verzameling een basisbegrip dat zich niet laat definiëren in termen van andere begrippen, maar axiomatisch vastgelegd wordt. Cantor, de grondlegger van de verzamelingenleer noemde een verzameling informeel: een veelheid beschouwd als een, de totaliteit van in bepaalde zin bij elkaar behorende elementen. Twee verzamelingen zijn identiek, wanneer ze dezelfde elementen bevatten.