Zorn's引理

出自維基百科,自由嘅百科全書

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