ツォルンの補題とはなんですか？

A. ツォルンの補題は、集合論において、任意の2つの集合が共通の要素を持たないという条件の下で、それらの和集合が元の2つの集合の和に等しくなるということを証明する定理です。

参考URL:https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A9%E3%83%AB%E3%83%B3%E3%81%AE%E8%A3%9C%E9%A1%8C