Математическая энциклопедия - дистрибутивность

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

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

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

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985