A halmaz a
matematika egyik legalapvetobb fogalma, melyet leginkább az „összesség”, „sokaság” szavakkal tudunk körülírni, de mivel igazából alapfogalom; így nem tartjuk
definiálandónak. A halmazok általános tulajdonságaival a matematika egyik ága, a
halmazelmélet foglalkozik. Annak ellenére, hogy ez a tudományág csak a 19. században fejlodött ki, mára a modern matematika minden ágának ez a tudományág (a
matematikai logika mellett) az alapja, mivel minden, a matematika által vizsgált objektum végso soron halmaz. A matematikának ez a jelenleg is uralkodó „halmazelméleti”
paradigmája elsosorban a
huszadik században muködo
matematikustársaság, a Bourbaki-csoport munkásságának köszönheto. A halmazelméleti ismeretek az elemi iskolai matematika részét is képezik.