# Leigh.Samphier/Sandbox/Definition:Ideal of Null Sequences

Let $\struct {R, \norm {\, \cdot \,}_R }$ be a normed division ring.
Let $\CC$ be the ring of Cauchy sequences over $R$
The set of null sequences $\NN$ over $R$ is called the ideal of null sequences in $\CC$.