>>245
いや、名前付けているだけ
結局
下記
任意の全順序部分集合が上に有界であれば、
の極大元が存在することを保証できます。
ツォルンの補題は半順序集合の極大元が存在するための条件を明らかにしている一方で、極大元を具体的に特定する方法については何も語っていません。また、半順序集合の極大元は一意的であるとは限りませんが、ツォルンの補題は極大元の個数についても何も語っていません。
引用終わり

だから、証明の便宜のため名前を付けて、証明の中だけ固定しているけど、証明終わったら固定は解除されて具体的なことは言えない
そう言うことでしょ
名前付けているだけと、ほとんど同じwww