・順序体としての数直線(デデキント)
・距離空間としての数直線(カントール)