Definition:Modulo Multiplication/Definition 1

Definition
Let $m \in \Z$ be an integer.

Let $\Z_m$ be the set of integers modulo $m$:
 * $\Z_m = \set {\eqclass 0 m, \eqclass 1 m, \ldots, \eqclass {m - 1} m}$

where $\eqclass x m$ is the residue class of $x$ modulo $m$.

The operation of multiplication modulo $m$ is defined on $\Z_m$ as:
 * $\eqclass a m \times_m \eqclass b m = \eqclass {a b} m$

Also denoted as
Although the operation of multiplication modulo $m$ is denoted by the symbol $\times_m$, if there is no danger of confusion, the conventional multiplication symbols $\times, \cdot$ etc. are often used instead.

The notation for multiplication of two integers modulo $m$ is not usually $\eqclass a m \times_m \eqclass b m$.

What is more normally seen is $a b \pmod m$.

Also see

 * Equivalence of Definitions of Modulo Multiplication