En matemática, un encaje o inmersión (cf; ) es una instancia de alguna estructura matemática contenida dentro de otra instancia, tal como puede ser un grupo que es un subgrupo.