For en endelig mengde er kardinaliteten lik mengden element i mengden, og to mengder med samme kardinalitet, har like mange element. Uendelige eller transfinitte mengder har uendelig kardinaltal, og for desse er det utviklet en egen matematisk teori.