The negative sign is a unary operator that replaces the operand with its additive inverse. It should not be confused with subtraction.
The negative sign is first introduced in the construction of the integers. Integers are defined using a pair of natural numbers that represent the positive and negative parts of the number. The negative sign is defined by swapping the pair of numbers. For rational numbers, the negative is defined by negating the numerator.