Diskreter Bewertungsring/Ordnung/Definition/Begriff

Aus Wikiversity

Die Ordnung zu einem Element , in einem diskreten Bewertungsring .