The introduced set-theoretical concepts allow us to formulate a famous lemma which was stated by Max Zorn (1906 - 1993).

Lemma: Zorn's Lemma

If every chain $S\subseteq X$ in a poset $(V,\preceq )$ has an upper bound, then the poset $V$ contains at least one maximal element.

Proofs: 1

Proofs: 1
Propositions: 2


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

Github:
bookofproofs


References

Bibliography

  1. Reinhardt F., Soeder H.: "dtv-Atlas zur Mathematik", Deutsche Taschenbuch Verlag, 1994, 10th Edition
  2. Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994
  3. Hoffmann, D.: "Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise", Hoffmann, D., 2018