Це саме дані, необхідні для визначення монади структури на S S '. : множення карта S'μ μ'S ² S'λS .. , і блок карті η η'S. . Див: дистрибутивний закон між Монадами. Узагальнений дистрибутивний закон також був запропонований в області теорії інформації. Див. також Асоціативність Комутативність Дистрибутивна ґратка Джерела Властивості бінарних операцій Правила висновування