ツォルンの補題は極大鎖を見つけるのに役立つ

ツォルンの補題は、1935年に生まれた強力な数学的ツールです。これは、半順序集合における極大要素の存在を証明するのに役立ちます。この補題は、そのような集合内のすべての鎖が上界を持つ場合、極大要素が存在すると述べています。この概念は、集合論における基本的な仮定である選択公理と同等です。