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