佐恩引理
Zorn's lemma
statement equivalent to the axiom of choice, about the existence of a maximal element in a poset with a maximal chain condition
佐恩引理 也被称为库拉托夫斯基-佐恩(Kuratowski-Zorn)引理,是集合论中一个重要的定理,其陈述为:
在任何一非空的偏序集中,若任何链(即全序的子集)都有上界,则此偏序集内必然存在(至少一枚)极大元。
摘自维基百科「佐恩引理」,CC BY-SA 4.0
- 类型
- 引理
- 命名来源
- 马克斯·奥古斯特·佐恩、卡齐米日·库拉托夫斯基
- 属于
- 公理列表
- 研究学科
- 集合论
- 学科
- 数学
