Llamamos contracción de X por A al espacio cociente correspondiente, al que denotaremos por X/A.