单词zorn-s-lemma
网络: 佐恩引理
This problem involves neither Zorn"s Lemma nor fix-point semantics, but does involve order.
但是本问题并不涉及佐恩引理和定点语义这些复杂理论,仅仅是关于有序。