母関数

定義 6.1（「漸化式と母関数」§6）

数列 $(a_n)_{n\ge0}$ に対し、形式的冪級数 $G(x)=\sum_{n\ge0}a_nx^n$ （形式的冪級数環（定義 2.1）［数え上げと母関数］）を $(a_n)$ の母関数という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。