Every discrete valuation ring, being a local ring, carries a natural topology and is a topological ring. We can also give it a metric space structure where the distance between two elements x and y can be measured as follows:
