戴德金公理

对于直线上所有点到两个非空集合的每个划分，使得任一集合的点都不位于另一集合的两点之间，则存在一个集合的点，该点位于该集合的每个其他点与另一集合的每个点之间。