En matemáticas, un poset localmente finito es un conjunto P parcialmente ordenado tal que para todo x , y ∈ P , el intervalo [ x , y ] consta de un número finito de elementos.
Dado un poset P localmente finito , podemos definir su álgebra de incidencia . Los elementos del álgebra de incidencia son funciones ƒ que asignan a cada intervalo [ x , y ] de P un número real ƒ ( x , y ). Estas funciones forman un álgebra asociativa con un producto definido por
En física teórica, un poset localmente finito también se denomina conjunto causal y se ha utilizado como modelo para el espacio-tiempo .
Stanley, Richard P. Combinatoria enumerativa, Volumen I. Cambridge University Press, 1997. Páginas 98, 113–116.