A dichotomy may be defined as a Dedekind cut for a weak ordering.
二分法可以被定义为对弱排序的狄德金分割。
youdao
应用推荐
模块上移
模块下移
不移动