Un espacio con frontera X se dice que está propiamente encajado en otro espacio Y con frontera si existe un encaje formula_6 tal que la restricción formula_7 también es un encaje.