Diremos que un conjunto A es finito si existe una correspondencia biunívoca entre el conjunto A y una sección de los naturales Sn .