>>564
>d1,…,dnの中にdk以外にdkと同じ値がある場合それも除かれてしまいます
間違い。
集合{d1,…,dk,…,dn}はn個の決定番号の集合であって、あるi,j∈{1,…,n}が存在して i≠j∧di=dj であるか否かに関わりなく濃度n。
というかそういう集合を考えたいのにわざわざ違う集合考える必要性がまるで無い。