我正在尝试用子集来清理一些东西。 假设我有这样的设置：
A={x,y} B={a,b,c,{x,y}}
我明白： x 不是 B 的成员。 A 是 B 的成员
但现在我想知道： A 是 B 的真子集吗？ 如果不是，是否是因为 A 被视为 B 中的元素而不是集合？如果 B={a,b, c, {{x,y}}}（在这种情况下，{x,y} 不会是 B 的成员），它是否只是 B 的子集？
如果它是 B 的真子集，那为什么？
谢谢！
A 不是 B 的真子集，因为 A 包含 B 不包含的成员 — x 和 y。如果 A 是 {{x, y}}，则 A 是真子集。
根据定义：
集合 A 是集合 B 的子集，记为 A ⊆ B，如果每个 A 的元素也是 B 的元素
或更正式：
A ⊆ B := ∀x (x ε A → x ε B)。
您的情况：
由于 x 和 y 不是 B 的元素，因此 A 不是 B 的子集。
如果（如 @Tommy 评论）A = {{x,y}}，A 将是 B 的子集，因为 A 的所有元素（即 {x, y}）也是 B 的元素