Cuando algún objeto "X" se dice que es encajado en otro objeto "Y", el encaje es dado por alguna función inyectiva que preserve su estructura "f" : "X" → "Y".