If x+y=0, then -y is known as the negative

If $x+y=0$, then $-y$ is known as the negative of $x$, where $x$ and $y$ are rational numbers.