\begin{definition}[Definition:Field of Formal Laurent Series]
Let $k$ be a field.
The ring of formal Laurent series $\map k {\paren X}$ over $k$ in a variable $X$ is also called the '''field of formal Laurent series'''.
\end{definition}