Es usual en Topología, llamar identificación a cualquier función f:X → Y entre espacios tal que la topalgia de Y sea tal que un subconjunto de A es abierto, ssi, f(A) es abierto.