Diremos que un ordinal es finito si cada una de sus partes no vacías tiene un elemento máximo.