Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine bijektive Abbildung

   ${\displaystyle f\colon M\longrightarrow N.}$

2. Eine lineare (oder totale) Ordnung ${\displaystyle {}\preccurlyeq }$ auf einer Menge ${\displaystyle {}I}$.
3. Ein kommutativer Halbring.
4. Die Kommensurabilität von zwei Strecken ${\displaystyle {}s}$ und ${\displaystyle {}t}$.
5. Das arithmetische Mittel zu Elementen ${\displaystyle {}a_{1},\ldots ,a_{n}\in K}$ in einem angeordneten Körper ${\displaystyle {}K}$.
6. Eine (ganzzahlige) Exponentialfunktion.