Lecture 2 (Real Analysis 2020) part 1

In the development from the field axioms, the symbol −x is defined as:

1. A.The reciprocal of the number x
2. B.The result of the subtraction 0 − x
3. C.The unique y for which x + y = 0
4. D.Any number whose sum with x is negative