Set-builder-notation Definition

noun

(set theory) A mathematical notation for describing a set by stating the properties that its members must satisfy.

Wiktionary