A dichotomy may be defined as a Dedekind cut for a weak ordering.

二分法可以被定义为对弱排序的狄德金分割。