English Dictionary

In many proofs of the existence of algebraic bases, Zorn's lemma is used to guarantee a maximal element in a partially ordered set of linearly independent subsets.

代数基底の存在を示す多くの証明では、任意の鎖（すなわち全順序部分集合）が上界を持つ任意の部分順序集合は少なくとも一つの極大元を含むという集合論の命題が、線形独立な部分集合の成す部分順序集合に極大元が存在することを保証するために用いられます。