集合的内涵和外延定义

Question

我正在寻找以下集合的扩展定义：

E := { m | m subset {a,b,c,d} and |m| = 2}

我的想法有

E := {{a,b}, {a,c}, {a,d}, {b,c}, {b,d}, {c,d}, {a,a}, {b,b}, {c,c}, {d,d}}

什么想法吗？

Answer 1

大多数时间集是无序的并且不包含重复元素。所以答案实际上取决于你如何定义集合。如果集合不能包含重复项，则 {a,a} 实际上是 {a}，因此 |{a,a}| = 1

因此，我给您的建议是回顾一下为您的特定作业定义集合的方式，以及顺序和/或重复项对于您的特定定义是否重要。大多数时候他们不会，但在你的情况下他们可能会。