set-builder notation
noun
°a mathematical notation for describing a set by stating the properties that its members must satisfy.