En teoría de conjuntos, álef (formula_1, primera letra del alfabeto hebreo) es un signo empleado para referirse a ciertos números transfinitos que de hecho resultan ser números ordinales iniciales y por tanto números cardinales.