Let H be the two-element subgroup of consisting of maps and . Then and the quotient map is . You can define continuous right inverses p' and q' to p and q respectively by chusing a representative for each equivalence class. Now define maps and by inclusion and look for homeomorphisms of the form with inverse .