A function f: X → Y is a homeomorphism if it is a one-to-one and onto continuous function with a continuous inverse.