Når vi sammenlikner to mengder, sier vi at en mengde A og en mengde B har samme kardinalitet hvis og bare hvis det eksisterer en bijeksjon, dvs. en injektiv (en-til-en-) og en surjektiv (på-) funksjon mellom de to mengdene. For eksempel har mengden av partall den samme kardinaliteten som mengden av naturlige tall, ettersom funksjonen er en bijeksjon. Bijeksjoner kalles også en-til-en-korrespondanser.