generated at
分配法則
二項演算で以下の関係が成り立つこと。(どちらか片方しか成り立たないことはある)
形式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は任意の二項演算子)
分配則、分配律とも呼ばれる。