Какво означава този символ "|"

[Гост]

За съжаление Google го възприема като някакъв символ и не мога да го открия. Та на въпроса: Какво означава този символ "|" в ДМ. Благодаря предварително

[Vulev]

Ето някои примери:
{[tex]x\in R|x<0[/tex]} - Всички реални числа х такива, че х<0, или по-просто казано всички отрицателни числа. Този знак може да се замести с двоеточие: {[tex]x\in R|x<0[/tex]} е същото като {[tex]x\in R:x<0[/tex]}.
В ДМ често се използва и наклонена черта \: [tex]x\in (-1;1)[/tex]\{0}, което значи всички числа в интервала (-1;1) без 0, или което е същото [tex]x\in (-1;0)\cup (0;1)[/tex].
Извод: Знаците | и : заместват думите "такива че", "за които".
Знакът \ замества думата "без"
Ако желаеш, дай свой пример, за да го разтълкуваме.

[Гост]

Това ме мъчи: "Ако M[tex]^1[/tex] = { x | P (x)=true, x [tex]\in[/tex] M }, то"

[Гост]

Аз го прочитам като: такова x, което принадлежи на М ??? Но дали съм прав?

[Vulev]

Това са всички х от М, за които свойството Р е изпълнено (истина).

[ptj]

Напиши го в пример. Възможно е да е означение за една от двоичните функции.