Posetでのメビウスの反転公式に向けて、最後の準備を行います。 今回は前回定義した incidence algebra (隣接代数)の元としての zeta function (ゼータ関数、ζ関数)を導入し、その"逆元"として Möbius function (メビウス関数)を構成します。 用語に関しては…