For every strictly-ordered set $(V,\prec),$ which is a well-order, there is a unique transitive set $(X,\in_X)$ with the following properties:

- $(X,\in_X)$ is also a strictly-ordered and well-ordered set with respect to the contained relation $\in_X$
- Between the two orders $(V,\prec)$ and $(X,\in_X)$ there is an order embedding $\pi:V\to X,$ i.e. an injective function $\pi$ fulfilling the property $u\prec v\Longleftrightarrow \pi(u)\in_X\pi(v).$

| | | | | created: 2019-03-07 15:23:59 | modified: 2019-03-07 16:29:47 | by: *bookofproofs* | references: [8055]

[8055] **Hoffmann, D.**: “Forcing, Eine EinfÃ¼hrung in die Mathematik der UnabhÃ¤ngigkeitsbeweise”, Hoffmann, D., 2018