Definition:Convergent Product/Arbitrary Field

Definition
Let $\mathbb K$ be a field with absolute value $\left\vert{\cdot}\right\vert$.

Let $(a_n)$ be a sequence of elements of $\mathbb K$.

Then the infinite product $\displaystyle \prod_{n \mathop = 1}^\infty a_n$ is convergent :
 * There exists $n_0\in\N$ such that $a_n\neq0$ for $n> n_0$.
 * The sequence of partial products of $\displaystyle \prod_{n \mathop = n_0+1}^\infty a_n$ converges to some $b\in\mathbb K\setminus\{0\}$.

The sequence of partial products of $\displaystyle \prod_{n \mathop = 1}^\infty a_n$ is then convergent to some $a\in\mathbb K$. The product is said to be convergent to $a$, and one writes:
 * $\displaystyle \prod_{n \mathop = 1}^\infty a_n = a$

A product is thus convergent it converges to some $a\in \mathbb K$.