[Dúvida] Dois conjuntos #X = n e #Y = m

[Prevaricador]

Olá!

Podem ajudar-me com a resolução deste exercício?

Sejam X e Y dois conjuntos tais que #X = n e #Y = m.
Se a \(\epsilon\) X, então #((X x {a}) x Y)

e igual a:

a) 2n x m
b) n x m
c) (n+1) x m se a \(\not \epsilon\) Y
d) (n+1) x (m+1) se a \(\epsilon\) Y

estou inclinado para a opção b)
mas parece-me demasiado obvio
para estar correto...

[Fraol]

Boa tarde Prevaricador,

Tô contigo, mas sem prevaricar:

#( (X x {a}) x Y ) = #(X x {a}) . #Y = #X . #{a} . #Y = n.1.m = n.m.
.

[Prevaricador]

Obrigado fraol!

Realmente a cardinalidade de {a} só pode ser 1....

A tua explicação permitiu-me perceber melhor este exercício!!

Abraço

[Fraol]

Valeu.