Vollständiger bewerteter Körper

Ein Körper \(K\) ist ein vollständig bewerteter Körper, falls er vollständig mit einer Bewertung ist.