What is "set-builder notation"

n. (context set theory English) a mathematical notation for describing a set by stating the property that its members must satisfy.

In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements or stating the properties that its members must satisfy.

Defined sets by properties is also known as set comprehension, set abstraction or as defining a set's intension.

Set-builder notation is sometimes simply referred to it as set notation, although this phrase may be better reserved for the broader class of means of denoting sets.