Set Theory

Table of Contents

Theorems

Let set_theory_e5a87e2302d2ea60bf7b9cce6dd0a53a4ea17902.png be a partially ordered set such that for every chain set_theory_7bf81434a9b9f5ede1ceefa3d4494483a9aa595f.png, there is an upper bound set_theory_1e75f57f3320608b631de4c699fb3d6991f1611f.png, that is,

set_theory_84562a7c27c38640074c9d99b8a7eb7db0c3019a.png

Then set_theory_a9090c77ce9916955c745920bf8f134a0932d59d.png has a maximal element.