Definição intensional e extensional de conjuntos

Question

Estou procurando uma definição extensional para o seguinte conjunto:

E := { m | m subset {a,b,c,d} and |m| = 2}

Minha ideia é

E := {{a,b}, {a,c}, {a,d}, {b,c}, {b,d}, {c,d}, {a,a}, {b,b}, {c,c}, {d,d}}

alguma ideia?

Answer 1

Na maioria das vezes, os conjuntos não são ordenados e não contêm elementos duplicados. Portanto, a resposta realmente depende de como você define conjuntos. Se os conjuntos não podem conter duplicatas, então {a,a} é realmente {a}, e entao |{a,a}| = 1

Portanto, meu conselho para você é olhar para trás na maneira como os conjuntos são definidos para sua tarefa específica e se a ordem e/ou duplicata são importantes para sua definição específica. Na maioria das vezes, eles não, mas no seu caso, eles podem.