_1 是 formula_2 的因数、约数或因子.
定义.设 formula_9 满足 formula_10. 若存在 formula_11 使得 formula_12, 那么就说 formula_2 是 formula_1 的倍数， formula_1 是 formula_2 的约数。这种关系记作 formula_17,读作“formula_1 整除 formula_2”.例如 formula_20. 所以 formula_21，同时 formula_22 是 formula