ДИСТРИБУТИВНОСТЬ

дистрибутивности закон, распределительность, некоторой операции относительно другой - свойство пары бинарных алгебраических операций, выражающееся одним из тождеств:

где ,- символы бинарных операций, а х, у, z- предметные переменные. Если в множестве Аопределены две конкретные бинарные операции х+у, х о у, т. е. заданы два отображения

то, интерпретируя символы как знаки операций

в А, соответственно, можно говорить об истинности или ложности в А каждой из формул Д1, Д2. Если при этом обе формулы Д1, Д2 истинны в Л, то операция наз. дистрибутивной относительно операции В А.

Д. М. Смирнов.