{X∈A|p(X)}怎么理解?{X∈A|p(X)}它的解释是 使命题p(X)为真的A中诸元素之集合 这个解释我不是很理解