En teoría de conjuntos se emplean definiciones un poco más abstractas de cardinal, que requieren de la definición de los ordinales.