Euler characteristic
半順序集合が有界とは、それが最大元 と最小元 を持つときに言う（いま は単に記号としてそう書くのであって係数環の と混同してはならない）。有界有限半順序集合のオイラー標数とは、メビウス函数の値 のことを言う。このように言う理由は、 が最大元 と最小元 を持つとき、} に面を持つ単体的複体の被約オイラー標数が に一致するからである。