Find a nonstandard ordering of the set of natural numbers N such that there exists a nonempty proper subset A⊊N and such that supA exists in N, but supA∈/A. To keep things straight, it might be a good idea to use a different notation for the nonstandard ordering such as n≺m.