外延的記法、内包的記法

A = {a1,a2,...,an}
って感じで書くのが外延的記法
列挙的定義ともいいます。

で、それに対して、
条件P(x)を満たしているx全体の集合Xを
X = {x|P(x)}
って感じに書く方法を内包的記法っていいます。

参考

• 集合 - Wikipedia
• あたらしい情報数学 - プログラマの本棚