To mengder er like store – de har samme kardinalitet – hvis det finnes en en-til-en-korrespondanse mellom elementene i mengdene. At det finnes en en-til-en-korrespondanse mellom to mengder og , betyr at man for ethvert element i kan finne et element i slik at ethvert element i korresponderer med nøyaktig et element i . For eksempel er mengdene {,,,,} og {1,2,3,4,5}, like store fordi man har korrespondansen 1, 2, 3, 4, 5. Denne korrespondansen kan også uttrykkes ved å si at begge mengdene har fem elementer.