つまりよりも大きい集合上定義され、この集合上与えられた冪級数と一致する、解析関数を考えることができる。