Rationale Zahlen/Elementar/Angeordneter Körper/Fakt

Die rationalen Zahlen ${}\mathbb {Q}$ bilden mit der in der Definition festgelegten Ordnung

einen angeordneten Körper.

Zum Beweis, Alternativen Beweis erstellen