(X 交 (Y 并 Z 并 W)) 是 (Y 并 X) 的子集