El conjunto de números naturales queda de esta forma bien ordenado por la inclusión.