Rewording

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}