En teoría de conjuntos, la función álef es el único formula_40-isomorfismo entre la clase de los ordinales formula_41 y la clase de los cardinales infinitos formula_42 es decir: