是的,这个x并不重要,如果换成其他变量只要P中的描述也相应改变那么集合是相同的.
补充：
{x|y=x+1}表示的就是所有x的取值,也就是y=x+1这个函数的定义域
如果换成{y|y=x+1}就表示值域了,是所有y的取值.