除法

\forall (a,b,x,y)\in\mathbb{Z} \land x\neq0, y={a}{x}+b \iff {y}\div{x}={a}\cdots{b}

$y$称为被除数，$x$称为除数，$a$称为商，$b$称为余数

当$b=0$时称$y$整除$x$，或称$y$是$x$的倍数。此时有$y\div{x}=a \Longrightarrow y\div{a}=x$。