Wat betekent x | x in de wiskunde?

Verzamelingen kunnen op verschillende manieren genoteerd worden. De bekendste manier is door opsomming van de elementen: {a, b, c}. Maar een andere mogelijkheid is om aan te geven dat de verzameling bestaat uit alle x die aan een bepaalde voorwaarde Y voldoen. De notatie is dan {x | x voldoet aan voorwaarde Y}. De verticale streep is dus niet de scheiding tussen de twee x'en, maar de scheiding tussen het symbolische element x en de voorwaarde waaraan die x moet voldoen.