Дистрибутивность
Дистрибутивности закон, распределительность, некоторой операции относительно другой — свойство пары бинарных алгебраических операций, выражающееся одним из тождеств: где ,- символы бинарных операций, а х, у, z- предметные переменные. Если в множестве Аопределены две конкретные бинарные операции х+у, х о у, т. е. заданы два отображения то, интерпретируя символы как знаки операций в А, соответственно, можно говорить об истинности или ложности в А каждой из формул Д1, Д2. Если при этом обе формулы Д1, Д2 истинны в Л, то операция наз. дистрибутивной относительно операции В А. Д. М. Смирнов.