Zorn's lemma
全順序の同義語としても用いられる鎖（さ、）は、また適当な半順序集合の全順序部分集合に対しても用いられる。後者の意味での鎖はツォルンの補題で極めて重要な役割を果たす。