除法

\forall (a,b,y)\in\mathbb{N}, x\in \Bbb{Z^+}, {y}\div{x}={a}\cdots{b} \iff y={a}{x}+b

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

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