パスカルの単体
m (m > 0)は多項式の項の個数とし、n (n ≥ 0)は多項式をn乗するものとする。
∧ m {\displaystyle \wedge ^{m}} はパスカルのm-単体を表すものとする。それぞれのパスカルのm-単体は、その(n個存在する)成分の(各々のm-単体に1個存在する)無限級数から構成される半無限の対象とする。