A
field
is called an ordered field, if there is a relation
(larger than)
between the elements of , fulfilling the following properties
(
means
or
).
- For two elements
,
we have either
or
or
.
- From
and
,
one may deduce
(for any
).
-
implies
(for any
).
- From
and
,
one may deduce
(for any
).