前回、poset におけるメビウスの反転公式を証明しました。 (前回の記事に関しては下にあるリンクをご利用ください。) これを用いて、今回からは高校数学でも出会うような「初等的な結果」を導いていこうと思います。 今回はこのシリーズの初回で紹介した古典…