Diskrete Bewertungsringe/Verzweigungsordnung/Definition/Begriff

Die Verzweigungsordnung zu einer Erweiterung ${}A\subseteq B$ von diskreten Bewertungsringen.