をposetとする(反射律・推移律・反対称律を満たす)。が局所有限であるとは、任意のに対してが有限集合であるときにいう。局所有限なposet に対して、Möbius関数 をが成り立つように定義する(に対してのみを定義する。はKroneckerのデルタ。well-defined)。定…