Set Builder Notation

$$S=\{O|A\wedge B\wedge \dots \}$$

A set with some Object such that $A,B$ etc are true. e.g.

$$\{(x,y)|y=x^2\wedge x\in 2\mathbb{N}\wedge y\in \mathbb{N}\}$$