內涵和套

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

所以，我給你的建議是回頭看你的具體任務以及是否順序和/或重複的關係爲特定的定義中定義設置的方式。大多數時候他們不會，但在你的情況下，他們可能會。