◀ ▲ ▶Branches / Set-theory / Corollary: Strictly, Well-ordered Sets and Transitive Sets

Corollary: Strictly, Well-ordered Sets and Transitive Sets

(related to Theorem: Mostowski's Theorem)

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).$

Table of Contents

Proofs: 1

Mentioned in:

Definitions: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Hoffmann, D.: "Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise", Hoffmann, D., 2018