Let F be an algebraic function field with a finite field of constants and fix a place  of F. Define A to be the ring of elements in F that are regular at every place except possibly . In particular, A is a Dedekind domain and it is discrete in F (with the topology induced by ).
The definition of A hinges on the existence of a point  in F and its behavior as an integral element everywhere except possibly .