Set-builder notation

set comprehension, set abstraction or as defining a set's intension.