Category hTopPairs
1. Definition
The category hTopPairs is defined as quotient category of Category TopPairs for the Relation 
if and only if there exists a homotopy of maps of pairs of spaces
2. Proof
welldefinedness of the relation follows from the naturality of the restriction, as for
both 
and 
are welldefined by homotopy under composition