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.