定義
K を実数体または複素数体とする。
f を K 係数の１変数収束べき級数、即ち K{{X}} (>>275) の元とする。
このとき、r = sup J(f) (>>277) を f の収束半径と呼ぶ。