- 非負整数$a, b$に対し、$b = aq + r$を満たすような非負整数$q, r (0 \le r \lt a )$が一意に存在する - $a$: 除数、$b$: 被除数、 $q$: 商、$r$: 剰余