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.