math - 集合的内涵和外延定义

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

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