空集合上の写像の話のほうが自然だと思うがなー
正直、巾級数のほうは場合分けして問題ない。
1+Σa_n x^n と書いてる、注意深い本もある。