La fonction de Möbius sur les posets

La fonction de Möbius est une fonction multiplicative sur les entiers qui apparaît en théorie des nombres comme les coefficients de l'inverse de la fonction Zeta de Riemann. On peut en fait définir la fonction de Möbius sur n'importe quel poset (ensemble partiellement ordonné), et l'interpréter comme une caractéristique d'Euler réduite d'un espace topologique naturellement associé au poset, le complexe d'ordre. D'un point de vue plus combinatoire, dans certains cas, cette fonction de Möbius peut également compter des choses intéressantes.