了线段与线段之间，全等，比较长，或比较短，这些概念。
数学.设定实数 formula_1 与 formula_2 。那么，实数 formula_21 ，整数 formula_20 与 formula_23 的存在，促使的充分必要条件是除商 formula_3 为有理数。假设 formula_1 与 formula_2 是正值的实数。又假设我们有一支尺，长度单位为实数 formula_21 。我们用这尺来测量两个长度为 formula_1 与 formula_2 的线段。假若