Subtraction -

Subtraction is a binary operation. It should not be confused with the negative sign. For natural numbers the the half minus operator is used which does not go below 0.

Definition

Subtraction is defined using the negative sign as (= (- a b) (+ a (-n b))) /edit/peano_new/arithmetic/common/negative.gh/df-minus.

Properties

Fraction Examples

Arithmetic Overview

Login to edit