Si elegimos la categoría: topología, entonces un encaje es una aplicación continua e inyectiva entre espacios topológicos X, Y.