En matemáticas, un conjunto parcialmente finito localmente es un conjunto parcialmente ordenado P tal que para todo x , y ∈ P , el intervalo [ x , y ] consta de un número finito de elementos.
Dado un conjunto parcial localmente finito P 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
También existe una definición de coalgebra de incidencia .
En física teórica, un conjunto parcial localmente finito también se denomina conjunto causal y se ha utilizado como modelo para el espacio-tiempo .
