Definition: $R$ is a valuation ring and it is complete with respect to the metric furnished by its valuation
(No citations retrieved.)