集的内在和扩展定义

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

所以我给你的建议是回顾为你的特定作业定义集合的方式，以及顺序和/或重复是否对你的特定定义很重要。大部分时间他们不会，但在你的情况下，他们可能会。