linguistic:translation, structural:expansion, information:filtering, linguistic:voice_change
Subtraction of natural numbers

Subtraction of natural numbers (in which N {\displaystyle \mathbb {N} } is the non-negative integers) is a partial function:

It is defined only when x ≥ y. {\displaystyle x\geq y.}