Definition

We say is continuous (at every ) if is open for every open .

We say is open if is open and open .

If is a bijection that is both continuous and open, it is a homeomorphism, and and are homeomorphic, written ; they are the ‘same’ as topological spaces.

In-depth Definition

A function between topological spaces is continuous at if for every neighbourhood of , we can find a neighbourhood of such that , or .