书上并没有这样的定义,个人觉得共同属性应该是这个集合里的所有元素都满足的一种种特征,一般形式是该集合里所有元素的一种表达方式,该集合可以写成{x/x属于P}