set-builder notation

Also known as set comprehension, set builder

mathematical notation for describing a set by enumerating its elements or stating the properties that its members must satisfy