Remainder (modular arithmetic notation)

$\forall an.\exists qr.(a=(q\times n)+r)$ where $0\le r<n$. Here $r$ is the remainder which we write as $r=a\text{ mod }n$.