Por ejemplo, si ω es el ordinal de N, 1 + ω ≠ ω + 1.