Betti number
が成り立つ。ここに PX は X の ポアンカレ多項式(Poincaré polynomial)（より一般的には、無限次元の空間に対しては）、すなわち X のベッチ数の母函数である