Archimedisch angeordneter Körper/Gaußklammer/Definition

Gaußklammer

Es sei ein archimedisch angeordneter Körper. Die Gaußklammer ist die Funktion

die durch

definiert wird.