Я ищу для протяженного определения для следующего набора:Интенсиональная и экстенсиональное определение множеств
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}}
какие-либо идеи?
Большинство наборов времени являются неупорядоченными и не содержат повторяющихся элементов. Поэтому ответ действительно зависит от того, как вы определяете множества. Если множества не могут содержать дубликаты, то {a,a} действительно {a}, и так |{a,a}| = 1
Так что мой вам совет оглядываться на путях наборы определяются для конкретного задания и порядок и/или дублирует значение для вашего конкретного определения того. Большую часть времени они не могут, но в вашем случае они могут.