composition of quotient maps