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?