Noun
set-builder notation (set theory) A mathematical notation for describing a set by specifying the properties that its members must satisfy.