本格的にposetでのメビウス反転公式に向けての準備を始めていきます。 今回はposetの定義および poset 上の incidence algebra (隣接代数)の定義を行います。 ※証明は最小限にとどめていますので、何かあればご連絡ください。 (前回は、古典的なメビウスの反…