出典:Wiktionary
出典:Wikipedia
出典:『Wikipedia』 (2011/08/03 20:23 UTC 版)
In set theory and its applications to logic, mathematics, and computer science, set-builder notation (sometimes simply set notation) is a mathematical notation for describing a set by stating the properties that its members must satisfy. Forming sets in this manner is also known as set comprehension, set abstraction or as defining a set's intension.