Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am new to this subject, and not not sure what "|" symbol means on this statement.

Let $R_2 \subset\Bbb N \times\Bbb N$ be defined by $(m, n) \in R_2$ if and only if $m|n$.

share|cite|improve this question
$m$ divides $n$. – user63181 Jul 24 '14 at 19:33
@SamiBenRomdhane: that is a full answer – Ross Millikan Jul 24 '14 at 19:35
Note that by the relation's definition, $\: 0 \hspace{.03 in} | \hspace{.03 in} 0 \:$ is true. $\;\;\;$ – Ricky Demer Jul 25 '14 at 4:12
up vote 11 down vote accepted

$ m \mid n$ means that $m$ divides $n$.

We could also say that $n$ is divisible by $m$ AND we could also say that $n$ is a multiple of $m$,so $n= a \cdot m, a \in \mathbb{Z}$.

share|cite|improve this answer
Hey, thanks a lot.. – Bmax Jul 24 '14 at 19:56
I can't comment, so I put this as an answer, but this only adds to evinda answer. m divides n; or more precisely is that the rest of the division of N by M is zero. – KnF Jul 25 '14 at 0:15

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.