まず、2つの有理数xとyに対して、距離d(x,y)を絶対値|x−y|で定義する（zの絶対値|z|とはzと−zの小さくない方と定義され、非負である）。
首先，有理数x和y之间的距离定义为绝对值|x−y|，其中绝对值|z|定义为z和−z的最大值，因此总是非负的。