{x∈A|p(x)}是 “使命题p(x)为真的A中诸元素之集合”能仔细讲讲么?