Definition 2.2. Let (K,||) be a non-archimedean valued field. The valuation ring of K is defined to be

OK={xK||x|1}(=B¯(0,1))(={xK×|v(x)0}{0})