テューキーの補題
テューキーの補題（あるいは）とは、ある性質を満たす集合族が包含関係に関する極大元を持つことを保証する命題である。ジョン・テューキーが初めに使用したことからその名前がついた。選択公理やツォルンの補題と同値であることが知られている。