The set of all even integers,
expressed in set-builder notation.
In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by stating the properties that its members must satisfy.[1]
Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension.
- ^ Rosen, Kenneth (2007). Discrete Mathematics and its Applications (6th ed.). New York, NY: McGraw-Hill. pp. 111–112. ISBN 978-0-07-288008-3.