¿Alguien sabe quién introdujo las álgebras de incidencia?
La definición que conozco es la siguiente. Sea $k$ un campo y $P$ un conjunto parcialmente ordenado finito, digamos $P=\{1,\dots,n\}$ cuyo orden lo denotamos por $\prec$. Consideramos el subconjunto $kP=\{(a_{ij})\in \mathfrak{M}_n(k):(\forall i\prec j)(a_{ij}=0)\}$. El producto y la suma es la restricción de estas operaciones matriciales usuales a $kP$.