An additional classical usage of Zorn's lemma is definitely the proof that each correct suitable—that may be, an ideal that's not The entire ring—of a ring is contained in a maximal best. Here, ? S displaystyle S ? as well as list of all true numbers hold the identical cardinality, a bijection being supplied by the operate ? x ? tan ? ( ? x / 2