From 16aff4f445f0e9b019c34424cf925a0a63a92a15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 21 Oct 2020 01:26:14 +0100
Subject: [PATCH] Rewording

---
 thesis.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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}