對於有理數a和b, b ≠ 0 {\displaystyle b\neq 0} ,若有理數c滿足 c ⋅ b = a {\displaystyle c\cdot b=a} ,則稱c為a及b的商。
由商的存在性及唯一性,可以將其記為 a : b {\displaystyle a:b} , a b {\displaystyle {\frac {a}{b}}} 或 a ÷ b {\displaystyle a\div b}