Zorn 1935: every poset where every chain has an upper bound contains a maximal element; equivalent to AC + well-ordering; existence-tool across algebra (max ideals, vector-space bases).
Zorn 1935: every poset where every chain has an upper bound contains a maximal element; equivalent to AC + well-ordering; existence-tool across algebra (max ideals, vector-space bases).