Here's an easy lemma:

Any poset $(S, \preceq)$ is order-isomorphic to a subset of the powerset $\mathcal{P}(S)$ ordered by set-inclusion.

I seem to recall having seen this attributed to Dedekind.

Am I right that Dedekind proves this little result? And if so, where does he do it?