En matemática, se define (primera letra del alfabeto hebreo llamada álef) como el cardinal (un número transfinito, en este caso) del conjunto de los números naturales.
El término se lee como "Álef-sub-cero" o "Álef cero".
Además, en la teoría ZFC, es el menor cardinal transfinito, en el sentido de que todo conjunto infinito ha de tener un subconjunto de cardinal
.
Su definición formal permite equipararlo a cualquier conjunto numerable, esto es, cualquier conjunto que pueda ponerse en correspondencia biunívoca con los números naturales.