[Conjuntos] Dois conjuntos #X = n e #Y = m

[Prof Prevaricador]

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 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 Y
d) (n+1) x (m+1) se a Y

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

[Prof Prevaricador]

Entretanto já consegui a resposta ao problema noutro fórum:

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

Cumprimentos