Definition. Homeomorphism [009V]

    TODO