Let and let . Then B is a nonempty proper subset of M and, with respect to the standard ordering, there exists sup B in M, but sup B is not in B. It is sufficient to define a one-to-one correspondence and consider the order carried over to by f from M.