Lógicamente, diremos que un conjunto ordenado es finito si es isomorfo a un ordinal finito, o sea a un natural.