An additional classical use of Zorn's lemma is the proof that each good great—that is certainly, an ideal that's not The full ring—of a ring is contained inside of a maximal excellent. Below, ? S displaystyle S will be the set whose things are Individuals features that belong to all sets in ? S displaystyle mathcal S The decide has established