Put regel

1 files changed, 3 insertions, 1 deletions

diff --git a/defio.tex b/defio.tex
index c9b1f95..fb92e20 100644
--- a/defio.tex
+++ b/defio.tex
@@ -15,10 +15,12 @@ Op een stack zijn twee instructies gedefinieerd:
 \begin{gather*}
 	\pushop : a \times \Stack{a} \to \Stack{a} \\
 	\push{e}{s} \isdef [e:s] \\[1em]
-	\popop : \Stack{a} \to a \times \Stack{a} \\
+	\popop : \Stack{a} \hookrightarrow a \times \Stack{a} \\
 	\pop{[e:s]} \isdef (e,s) \\
 \end{gather*}
 
+$\popop$ is een partiële functie omdat $\pop\Nil$ niet gedefinieerd is.
+
 \medskip
 We zullen de input en output beide als $\Stack{\String}$ modelleren. In feite
 zal zelfs blijken dat we op $\Input$ de operatie $\pushop$ niet nodig hebben,