An additional classical usage of Zorn's lemma is definitely the evidence that every good perfect—which is, a great that's not The complete ring—of a ring is contained in a very maximal excellent. Listed here, ⁠ S displaystyle S This maps is often surjective; it can be bijective if and only if the ⁠ A i displaystyle A_ i When the dread of ab