Resulta obvio constatar que si "A" es un conjunto ordenado con "n" elementos ("n" entero natural) entonces "A" es isomorfo "a" = {0, 1, 2, ..., n-1}.