La característica de Euler de un "poset" finito acotado es μ(0,1); es siempre un número entero.