Salut,
On revient à la définition : soit U et V deux dénombrables, alors il existe des bijections entre les éléments de U et de

, et V et

. Alors on peut numéroter les ensembles : U = {

, n


} et V = {

, n

}.
On va créer notre bijection entre U

V et

ainsi : pour n

A, avec

A

, on associe

si n

, ] et si

on associe

pour n<0. On vérifie que c'est une bijection...
Tout est bon, puisque A est dénombrable en tant qu'ensemble compris entre deux ensembles dénombrables.
Voilà voilà, une démonstration bien lourde pour un truc très simple, mais plus c'est simple et plus il faut mettre de la sauce ^^.
Bonne soirée