Dicho isomorfismo es un epimorfismo (isomorfismo suprayectivo) y, por tanto, matemáticamente todos los cardinales transfinitos resultan ser un cardinal de tipo álef.