Subtraction on $\nats$
Terms
| Term | This example | Why |
|---|---|---|
| binary operation | ✗ | Subtraction is not a binary operation on $\nats$, because $3 - 5$ is not in $\nats$ (it is one on $\mathbb{Z}$). |
| relation | ✗ | Subtraction is not a relation, because “$5 - 3$” is not true or false. |