Понятие "поле" изучается в курсе высшей алгебры.
Дадим более точное его определение.
Полем называется непустое множество P, на котором заданы две бинарные алгебраические операции, именуемые сложением и умножением, удовлетворяющие следующим 10 аксиомам:
1.Для любых a,b,c, принадлежащих P, (a+b)+c=a+(b+c) - ассоциативность сложения;
2.Для любых a,b принадлежащих P, a+b=b+a - коммутативность сложения;
3.Существует нулевой элемент 0, принадлежащий P, что для любого элемента a, принадлежащего P, выполняется равенство: 0+a=a+0=a - существование нулевого элемента;
4 . Для любого элемента a существует -а, что выполняется равенство: a+(-a)=(-a)+a=0 - существование противоположного элемента для каждого;
5.Для любых a,b,c, принадлежащих P, (a+b)*c=a*c+b*c, a*(b+c)=a*b+a*c - дистрибутивность умножения относительно сложения;
6.Для любых a,b,c, принадлежащих P, (a*b)*c=a*(b*c) - ассоциативность умножения;
7.Для любых a,b принадлежащих P, a*b=b*a - коммутативность умножения;
8.Существует единичный элемент 1, принадлежащий P, что для любого элемента a, принадлежащего P, выполняется равенство: 1*a=a*1=a - существование единичного элемента;
9.0 не равен 1 , 0,1 принадлежат Р;
10.Для любого элемента a, не равного нулю, существует обратный элемент 1/а (a в минус первой степени), что выполняется равенство: a*1/a=1/a*a=1 - существование обратного элемента для каждого ненулевого.
Из числовых множеств, которые изучаются в школе (представлены на снимке), примерами поля являются только множества рациональных и действительных чисел, так как в них выполняются все условия из определения поля. А множества натуральных чисел (1,2,3,...) и целых чисел (...-3,-2,-1,0,1,2,3,4,...) поле не образуют, так как для натуральных чисел не выполняются аксиомы 3,4,9,10 (достаточно даже невыполнение одной аксиомы 3, дальше можно не проверять), а для целых чисел - аксиома 10.