Partial function: Difference between revisions

Revision as of 21:33, 13 October 2023

Revision as of 22:39, 28 November 2023

Line 59:

=== Subtraction of natural numbers ===

Subtraction of [[natural numbers]] (in which <math>\mathbb{N}</math> is the non-negative [[integers]]) can be viewed asis a partial function:

: <math>f : \N \times \N \rightharpoonup \N</math>

: <math>f(x,y) = x - y.</math>