1

) (
.
, .
, ,
.
15 .
11 .
) ( ,16 , .

.1
.2
.3
.4
.5

:
:
a
,
b
a
+
b
.
,

a
+
(
b
+
c
)
=
(
a
+
b
)
+
c
a
,
b
,
c
.
:
:
0 a . a + 0 = a
a a . a + (a ) = 0
: a, b . a + b = b + a :
a + (b) = a b

:
a, b , ab.
.6
: a, b, c . a (bc) = (ab)c :
.7
1 0 a . a 1 = a
.8

1
a 0 a . aa = 1
.9
: a, b . ab = ba :
.10
a

= ab 1

:
a, b, c . a (b + c) = ab + ac :
.11
:
.12
.13
.14
.15

a
a
.
a , a = 0 :,
, a, b a + b.
, a, b ab.

:
, .
.16
:
.I
.II

x < y y x
x > y x y

x x
x y x < y x = y
x y x > y x = y

.III
.IV
.V

:
.I
.II
.III
.IV
.V
.VI
.VII

x < y y > x .
x y y x .
x
<
y
.
x y
x y . x > y
x < y < z x < y : . y < z
x > y > z x > y : . y > z
" x y z . x y z

:
.
.
.
:
.
properties derived from the field axions .
" 1' "
.
* (J.M.H Olmsted Real Variables (Advanced Calculus