Joukon mahtavuus eli kardinaliteetti on joukon alkioiden lukumäärää kuvaava käsite, jota ilmaistaan kardinaaliluvulla. Äärellisten joukkojen kardinaaliluku on jokin luonnollinen luku ja äärettömien jokin ääretön kardinaaliluku. Käsitteet esitteli Georg Cantor vuonna 1874 julkaisemassaan joukko-oppia käsittelevässä kirjoitelmassa.