jpdb beta

1. ある二項演算を実施して、その結果に別の二項演算を実施した結果は、前者の演算で使われる各要素に対して後者の演算を先に実施し、それらの結果に前者の演算を実施した結果と等しくなること。二項演算を □ と △ し、それらが定義された集合 A の3要素を a, b, c とすると、a □ (b △ c) = (a □ b) △ (a □ c) および (b △ c) □ a = (b □ a) △ (c □ a) を満たすこと。分配律、分配則。