集合論においてツォルンの補題（ツォルンのほだい、英: Zorn's lemma）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。 命題 (Zorn の補題)半順序集合Pは、その全ての鎖(つまり、全順序部分集合)がPに上界を持つとする。このとき、Pは少なくともひとつの極大元を持つ。 この定理は数学者マックス・ツォルンとカジミェシュ・クラトフスキに因む。選択公理と同値な命題の一つ。
