Интенсиональное и экстенсиональное определение множеств - PullRequest
1 голос
/ 26 октября 2010

Я ищу определение расширения для следующего набора:

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}}

есть идеи?

1 Ответ

1 голос
/ 26 октября 2010

Большинство наборов времени неупорядочены и не содержат повторяющихся элементов. Таким образом, ответ действительно зависит от того, как вы определяете множества. Если наборы не могут содержать дубликаты, то {a,a} на самом деле {a}, и поэтому |{a,a}| = 1

Так что мой совет вам - оглянуться назад на то, как наборы определяются для вашего конкретного задания и имеют ли значение порядок и / или дубликаты для вашего конкретного определения. В большинстве случаев этого не происходит, но в вашем случае они могут.

...