証明募集(補足2:Philip Hallの定理)
半順序集合の理論とPhilip Hallの定理私が最初の記事の(1)式が正しいと思った理由を説明します。
以下の記述はRechard P. Stanley, "Enumerative Combinatorics Volume I"のChapter 3の内容の抜粋です。
半順序集合
$${(P, \leq)}$$を有限半順序集合とします。
ここで$${(P, \leq)}$$が有限半順序集合とは、有限集合$${P}$$上の二項関係$${\leq }$$が以下の3条件を満たす