已知集合A的特征性质为p（x）,集合B的特征性质为q（x）.“如果p（x）,那么q（x）”是正确的命题,试问集合A和B的

满足判定条件p(x)的x,必定满足判定条件q(x).
换句话说,集合A包含于集合B.
存在两种情况,（1）A=B,(2)A是B的真子集.
不知,有没有说清楚.