Show that for allm,ninN,m<nif and only ifmis a proper subset ofn.

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?