Что такое дистрибутивность?

Дистрибутивность (от лат. distributivus — «распределительный») — свойство согласованности двух бинарных операций, определённых на одном и том же множестве. ru.wikipedia.org ru.ruwiki.ru

Например, бинарная операция «×» является дистрибутивной относительно бинарной операции «+», если они удовлетворяют двум тождествам: ru.wikipedia.org

• x × (y + z) = (x × y) + (x × z) — дистрибутивность слева. ru.wikipedia.org
• (y + z) × x = (y × x) + (z × x) — дистрибутивность справа. ru.wikipedia.org

Если операция «×» является коммутативной, то свойства дистрибутивности слева и справа равносильны. ru.wikipedia.org