佐恩引理

如果 是任何非空的偏序集，其中每个链都有上界，那么 具有极大元。这个陈述等价于选择公理。

Renteln 和 Dundes (2005) 给出了以下关于佐恩引理的（糟糕的）数学笑话

问：什么东西是酸的、黄色的，并且等价于选择公理？ 答：佐恩柠檬。

问：什么东西是棕色的、毛茸茸的、跑到海里，并且等价于选择公理？ 答：佐恩旅鼠。