cd
ps
ll
whoami
article
academic
G1T2
discrete_math
relation
存在性与唯一性.md
存在性与唯一性.md
最大元
、最小元未必存在,如果存在必唯一
极大元
、极小元对有限偏序集必存在,但未必唯一
上(下)界
未必存在,存在时又未必唯一
即使有上下界,
最小上界
和最大下界也未必存在