(X 交 Y) 是否为 Y 的一个子集？

• 自然语言
• 数学输入