Definition:Modulo Operation

Definition
Let $x, y \in \R$ be real numbers.

Then the modulo operation is defined and denoted as:
 * $x \bmod y := \begin{cases}

x - y \left \lfloor {\dfrac x y}\right \rfloor & : y \ne 0 \\ x & : y = 0 \end{cases}$

Modulo 0
We see that, from the definition:

Modulo 1
Note also that from the definition:

Also see

 * Definition:Quotient (Algebra)
 * Definition:Remainder


 * Definition:Congruence (Number Theory) which approaches the subject from a slightly different direction.