A field, is a set F of numbers, which is equipped with the property that if a,bβF, then:
a+b,aβb,a(b)anda/bareΒ alsoΒ inF, with the caveat that bβ₯1 for division.
Fields can be thought of as sets for these purposes, but they are technically defined as Commutative Rings, and their elements are referred to as scalars.
NandR are sets of Natural and Real numbers, but not all sets of numbers are fields of numbers: N is not a field because it contains some a,b, such as 3,5, that does not satisfy the definition, as 3β5β/N.
N refers to the set of Natural (counting) numbers, which does not contain any negative numbers, hence why it is a set of numbers that cannot satisfy the definition of a field.
R is a field because it contains negative and positive numbers, which means no elements of it to which the required operations are applied can yield a number of a signed-ness that does not exist within it.