So I have a problem so solve that asks me to solve if 17|m is valid for an equation; and another to solve for "if a|b and a|c then a|(b+c)".

I know that "|" stands for set values inside a set (such as {x|x>3}), but those examples are about proof-writing.

What does "|" mean in those cases?

  • 1
    $\begingroup$ $a|b$ means $a$ divides $b$ $\endgroup$ – Shashi Mar 12 '17 at 17:56
  • 1
    $\begingroup$ $a\mid b$ means "$a$ is a divisor of $b$," which means there is some integer $d$ such that $ad=b$. So, for example, $2\mid 6$ but $4\not\mid 6$. $\endgroup$ – Thomas Andrews Mar 12 '17 at 17:57
  • $\begingroup$ Oh, I see. I guess that it does fit in. $\endgroup$ – Tiago Duque Mar 12 '17 at 17:58
  • $\begingroup$ It's not really related to the set theory notation at all. $\endgroup$ – Thomas Andrews Mar 12 '17 at 17:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.