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.
During the 1926-1931 drought, the existence of a leak in the center of the lake was verified where water flows out into a nearby aquifer.