diff --git a/thesis.tex b/thesis.tex
index 8de2141..744bf2e 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -431,9 +431,9 @@ written $\dec{Im}(f)$, is the set of values that it can return, i.e.
   to be a bijective.
 \end{definition}
 %
-A partial function $f : A \pto B$ is injective, surjective, and
-bijective whenever the function $f' : \dom(A) \to B$ obtained by
-restricting $f$ to its domain is injective, surjective, and bijective
+A partial function $f$ is injective, surjective, and bijective
+whenever the function $f' : \dom(f) \to \dec{cod}(f)$, obtained by
+restricting $f$ to its domain, is injective, surjective, and bijective
 respectively.
 
 \section{Universal algebra}