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 enumerating its elements, or stating the properties that its members must satisfy.

$\{n\mid \exists k\in \mathbb {Z} ,n=2k\}$

The set of all even integers,
expressed in set-builder notation.

Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.