戴德金分割 - The mini wiki

戴德金分割编辑

戴德金分割是数学中对于全序集的操作。对于给定的全序集

A

{\displaystyle A}

及其中某个元素

x

{\displaystyle x}

而言，将

A

{\displaystyle A}

分拆为两个非空集合，使得两者其一中所有元素均在

x

{\displaystyle x}

之前、另一真子集中所有元素均在

x

{\displaystyle x}

之后。