(X∩(Y∪Z∪W)) は (Y∪X) の部分集合か

• 自然言語
• 数学入力