diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf
index 6577a9f..ac4b7c7 100644
Binary files a/TFG_Sixto_José_Martínez_Gan.pdf and b/TFG_Sixto_José_Martínez_Gan.pdf differ
diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex
index c39bdc5..170e952 100644
--- a/TFG_Sixto_José_Martínez_Gan.tex
+++ b/TFG_Sixto_José_Martínez_Gan.tex
@@ -123,6 +123,7 @@ urlcolor=black]{hyperref}
 
 \newcommand{\Hom}[3]{\ensuremath{\mathrm{Hom}_#1\!\left( #2, #3 \right)}}
 \newcommand{\dual}[1]{\ensuremath{ {#1}^* }}
+\newcommand{\dualdual}[1]{\ensuremath{ {#1}^{**} }}
 
 \newcommand{\syz}[1]{\ensuremath{\mathrm{syz}\left(#1\right)}}
 \DeclareMathOperator{\grado}{grado}
@@ -314,7 +315,13 @@ urlcolor=black]{hyperref}
 			\end{equation*}
 		\end{definicion}
 		\begin{definicion}
-			Diremos que $M$ es un \modulo{A} reflexivo si $M$ es isomorfo a \dual{\dual{M}}.
+			Sea $\psi : M \rightarrow \dualdual{M}$ el homomorfismo de \modulo{A}s que envía un elemento $m$ de $M$ a la función $\psi\!\left( m \right): \dual{M} \rightarrow A$ que a cada $\phi \in \dual{M}$ le asigna el valor $\phi\!\left( m \right)$:
+			\begin{align*}
+				\psi : M &\longrightarrow \Hom{A}{\Hom{A}{M}{A}}{A} \\
+					   m &\longmapsto \psi\!\left( m \right) : \Hom{A}{M}{A} \longrightarrow A \\
+					   	 &\hspace{3.7cm} \phi \longmapsto \phi\!\left( m \right)
+			\end{align*}
+			Diremos que $M$ es un \modulo{A} reflexivo si $M$ es isomorfo a \dualdual{M} por medio de esta aplicación $\psi$.
 		\end{definicion}
 		\begin{ejemplo}
 			\todo[inline]{Poner ejemplo de un módulo reflexivo.}