A [[Binary Operation]] between two numbers $a, n\in \N$ such denoted as $a\mod n$ such that result is the [[Integer]] [[Modulo|Remainder]] of $\frac{a}{n}$. $\huge \op{mod}\,n : \R \to \Z^{+} $ $\huge a \,\op{mod}\,n: a- n\, \op{trunc}\left( \frac{a}{n} \right) $