3 Distributive BCL⁺ -algebras
For a BCL⁺ -algebra, the distributive axiom is just a basic concept in nature. We
have the following definitions.
Definition 3.1. Let D be a set and let be a binary operation on D . Then D
be a distributive set and we say that be a distribution (In fact, it satisfies
distributive law of set theory). Define the following conditions: for x, y, z D .
(D1) For each x,1 D , 1 x x , x x 1.
(D2) 1
x exists and for each x x D 1 , such that 1 1 x x .
(D3) x y z x y x z (right distribution rule).
(D4) y z x y x z x (left distribution rule).
Definition 3.2. Let X be a nonempty set and let be a binary operation on
X . If be a distributive manner, then we call X; be a distributive algebra.