省略的时候是这样的:

{x∈R|x>0}

就是在|号前面的能省略。。

后面x，y∈R的是对x，y的描述如果省去，则缺少描述，改变愿意。

而{x∈R|x>0}，即使省去，也描述了x，x>0，这是|前x∈R与|后的交集，不会缺少描述，也不会改变原意，所以可以省略。

描述法的定义﹕常用于表示无限集合，把集合中元素的公共属性用文字﹐符号或式子等描述出来﹐写在大括号内﹐这种表示集合的方法叫做描述法。{x|P}（x为该集合的元素的一般形式，P为这个集合的元素的共同属性）如：小于π的正实数组成的集合表示为：{x|0<x<π}。