X(A B) Y(A B) 就是说X是Y 的子集 或者Y是X的 X(A) Y(A B) 包含但不完全等于的是真子集。 第一个是都相等的，所以不是真子集。