Zorn引理

Zorn's引理，又叫Kuratowski–Zorn引理，係集合論入面一條定理，佢話如果一個偏序集入面每一條鏈都有上界，咁呢個偏序集入面有最少一個極大元素。