Hvis en har to mengder X og Y og card X er mindre enn eller lik card Y, da finnes det en mengde Z som er en delmengde av Y slik at card X = card Z.