Este último resultado es la generalización de la misma propiedad sobre los naturales, lo que permite enunciar y utilizar inducción transfinita para demostrar propiedades sobre ordinales.