Bilangan alef

Maka bilangan-bilangan alef dapat didefinikan sebagai berikut: