集合論においてツォルンの補題（ツォルンのほだい、）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。この定理は数学者マックス・ツォルンとカジミェシュ・クラトフスキに因む。この補題で使われている用語の定義は以下のとおりである。("P

出典:wikipedia