Functions (set theory) I'm having troubles proving that if $f,g \subset A \times B$ are functions, then $f\cap g$ is also a function. 

Thanks for your help!

Kind regards,

Phi.
Definition: let $h, E, F$ a sets, we define: $$h \text{ is relation if }\,\big[\forall x \in h:\exists y,\exists z: x=(y,z)\big] \\\operatorname{dom}(h):=\{x|\exists y:(x,y)\in h\} \\ \operatorname{cod}(h):=\{x|\exists y:(y,x)\in h\} \\ h \text{ is function if }\, \big[h\text{ is relation} \wedge  \forall x,\forall y,\forall z: (x,y) \in h \wedge (x,z)\in h \to y=z\big] \\ h: E\to F \text{ for }\big[ h\text{ is function} \wedge  \operatorname{dom}(h)= E \wedge \operatorname{cod}(h)\subseteq F\big]$$
  
  Thereom: let be $f,g$ functions and $f \subseteq (A \times B)\supseteq g$: $$ (f \cap g) \text{ is function}$$
  
  Proof:
  
  
  $(f\cap g)$ is relaction because $f \subseteq (A \times B)\supseteq g$
  let be $x,y,z$: $$ \begin{align}(x,y) \in (f \cap g) \wedge (x,z)\in (f\cap g) \leftrightarrow&amp;  \\ \big((x,y) \in f \wedge (x,y) \in g\big) \wedge \big((x,z) \in f \wedge (x,z) \in g\big) \leftrightarrow&amp; \\ \big((x,y) \in f \wedge (x,z) \in f\big) \wedge \big( (x,y) \in g \wedge (x,z) \in g\big)  \to&amp; \\\  (y=z) \wedge (y=z) \text{ because } f \text{ and } g \text{ are by hyp. functions} \to&amp; \\y=z \,\text{ (Q.E.D)} \end{align}$$
  naturally $(f \cap g) \subseteq (A\times B)$, in fact $$ \begin{align} x \in (f\cap g) \leftrightarrow x  \in f\wedge x \in g  \to&amp; \\  x \in (A\times B) \wedge x \in (A \times B) \,(\text{because } f \subseteq (A \times B)\supseteq g) \to&amp;\\ x \in (A \times B) \,\text{ (Q.E.D)}\end{align}$$
$f$ and $g$ are functions which mean that for each $a\in A$ there is a unique $b\in B$ such that $f(a)= b$. And similarly for $g$. First show that $f\cap g$ is a subset of $A\times B$ then show that it has the uniqueness property that $f$ and $g$ have. The trick is to show that for all $x$ in the domain of $f\cap g$ it is either in the domain of $f$ and the domain of $g$. Thus it will inherit the uniqueness property from $f$ and $g$.