Ein
Körper heißt angeordneter Körper, wenn es zwischen den Elementen von eine Beziehung
(„größer als“)
gibt, die die folgenden Eigenschaften erfüllt
(
bedeutet
oder
).
Für je zwei Elemente
gilt entweder
oder
oder
.
Aus
und
folgt
(für beliebige
).
Aus
folgt
(für beliebige
).
Aus
und
folgt
(für beliebige
).
Die Konvergenz gegen bedeutet, dass es zu jedem reellen ein derart gibt, dass für alle die Abschätzung
gilt.
Die Funktion heißt differenzierbar in , wenn der
Limes
existiert.
Die Funktion heißt Riemann-integrierbar auf , wenn
Ober-
und
Unterintegral
von existieren und übereinstimmen.
Die Matrix heißt invertierbar, wenn es eine Matrix mit
gibt.
Den Exponenten des linearen Polynoms im
charakteristischen Polynom nennt man die
algebraische Vielfachheit
von .