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