Duda pauta ayudantía 7: "Los enteros son un orden total"

[Anton-Little]

Hola, en la pauta de la ayudantía 7 dice lo siguiente:

Estoy muy confundido, ¿como los enteros son un orden total? Yo tenía entendido que los conjuntos de pares ordenados eran relaciones que podían ser órdenes, ¿acaso los enteros también son conjuntos de pares ordenados :O?

Gracias de antemano :)

[Maratripa]

Hola! Es un error de tipeo de la solución, se refiere a que la relación menor o igual (<=) es un orden total sobre el conjunto de los enteros.