Distributividad (teoría del orden)

En su mayoría se refieren a conjuntos parcialmente ordenados que al menos sean retículos, pero resulta igualmente posible generalizar el concepto para aplicarlo a semirretículos.

En un retículo completo, cualquier subconjunto arbitrario tiene tanto un ínfimo como un supremo, disponiéndose, por tanto, de operaciones ínfimo y supremo para un número ilimitado de argumentos.

Por ejemplo, si rige la propiedad distributiva infinita, los ínfimos finitos se distribuyen en supremos arbitrarios, es decir, se cumple para todo elemento x y todo subconjunto S del retículo.

Es posible ir aún más lejos y definir órdenes en los que todo supremo se distribuya sobre cualquier ínfimo.

Las estructuras de este tipo se denominan retículos completamente distributivos.

Sin embargo, para expresar esas condiciones se requiere una formulación algo más técnica.

La distributividad es un concepto básico que suele tratarse en todo texto sobre teoría de retículos y del orden.