Para cada "poset" localmente finito y cada cuerpo de escalares hay un álgebra de incidencia, que es un álgebra asociativa definida como sigue.