In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy.
https://github.com/davepinch/pinchy.cc/blob/master/content/topics/mathematics/set-builder-notation/en.wikipedia.org.md