Matematikai formulákban mi a különbség a : és a | jelek között?

Ugyanazt jelenti mindkettő, itt ha letekersz a "Formal set builder notation sets" -hez akkor láthatod:

[link]

" Eddig úgy gondoltam, hogy a : azt jelenti "legyen", a | pedig azt, hogy "ahol". "

A karakterek nem jelentenek önmagukban semmit, az egész formulák teszik. A halmazosnál például ugyanazt jelentik (a formulák, a betűk magukban semmit).

Kevésbé következetes, de talán jobb

Y = {y eleme X | y > 1}

alakban megadni. (Ez is ugyanazt jelenti)