X, Y -> A, B

Author: FnControlOption

content/sets-functions-relations/functions/partial-functions.tex

@@ -58,9 +58,9 @@
 \begin{prop}
 Suppose $R \subseteq A \times B$ has the property that whenever $Rxy$
 and $Rxy'$ then $y = y'$.  Then $R$ is the graph of the partial
-function $f\colon X \pto Y$ defined by: if there is a $y$ such that
+function $f\colon A \pto B$ defined by: if there is a $y$ such that
 $Rxy$, then $f(x) = y$, otherwise $f(x) \fundefined$.  If $R$ is also
-\emph{serial}, i.e., for each $x \in X$ there is a $y \in Y$ such that
+\emph{serial}, i.e., for each $x \in A$ there is a $y \in B$ such that
 $Rxy$, then $f$ is total.
 \end{prop}