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?