I have:

both have their usual topologies as subsbaces of

I want to show that

My work:

Let

Let map to by:

Now,

so is one-to-one and onto.

and

and are continuous in the unduced topologies on both sets, so... that's it?