La unidad de este par adjunto es la inclusión de un conjunto "X" en el grupo libre sobre "X".