ローラン級数
Thus when defining formal Laurent series, one requires Laurent series with only finitely many negative terms.