A different classical utilization of Zorn's lemma may be the evidence that each appropriate ideal—that is, an ideal that isn't the whole ring—of a hoop is contained inside of a maximal ideal. Here, ? S displaystyle S ? as well as list of all actual numbers contain the identical cardinality, a bijection staying furnished by the functionality ? x