A = {a1,a2,...,an}って感じで書くのが外延的記法列挙的定義ともいいます。で、それに対して、条件P(x)を満たしているx全体の集合XをX = {x|P(x)}って感じに書く方法を内包的記法っていいます。参考
: