Show that for all m,n in N, m<n if and only if m is a proper subset of n.
Here is my reasoning.
Assume m is a proper subset of n. Then m doesn't equal n by definition of a proper subset. Since m is a subset of n, then m must be less than n.
Is this a concrete enough?