假若，两个不等于零的实数formula_1 与 formula_2 的除商 formula_3 是一个有理数，或者说，formula_4 与 formula_5 的比例相等于两个非零整数 formula_6 与 formula_7 的比例：则称它们是互相可通约的（commensurable），而这特性则称为通约性。这意味着，存在一个非零的实数公测数 (common measure) formula_9，使得所以 或是 其中 formula_13，所以 formula_14。反之，如果该