分配法則
二項演算
で以下の関係が成り立つこと。(どちらか片方しか成り立たないことはある)
形式1
$ k \star (a \circ b) = (k \star a) \circ (k \star b)
形式2
$ (k \star l) \circ a = (k \star a) \circ (l \star a)
(
$ \star, \circ
は任意の
二項演算子
)
分配則、分配律とも呼ばれる。