En otras palabras, un orden total en un conjunto con "k" elementos induce una biyección con los primeros "k" naturales; por esto es común listar los órdenes totales finitos con números naturales y ordenarlos según el orden de los naturales.