>>376
何がだこのやろう

１行目ってのはこれのことか？
＞　{ x | p(X) } と書けば集合になるわけではない。