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.[1] Specifying sets by member properties is allowed by the axiom schema of specification. This is also known as set comprehension and set abstraction. Set-builder notation can be use