Definition:Addition

From CS2800 wiki
Definition: addition
Let [math]add : \href{/cs2800/wiki/index.php/%E2%84%95}{ℕ} \href{/cs2800/wiki/index.php/%5Ctimes}{\times} \href{/cs2800/wiki/index.php/%E2%84%95}{ℕ} \href{/cs2800/wiki/index.php/%5Cto}{\to} \href{/cs2800/wiki/index.php/%E2%84%95}{ℕ} [/math] be given inductively by [math]add(x,Z) := x [/math] and [math]add(x,S~n) := S~add(x,n) [/math].