Set-builder notation

The set of all even integers,
expressed in set-builder notation.

In mathematics and more specifically in set theory, set-builder notation is a notation for specifying a set by a property that characterizes its members.

Specifying sets by member properties is allowed by the axiom schema of specification. This is also known as set comprehension and set abstraction.