Since and , . Similarly, and imply . Together, we have .
The second inequality is the dual of the first one. ∎
The two inequalities above are called the distributive inequalities.
By the distributive inequalities, all we need to show is that 1. implies 2. (that 2. implies 1. is just the dual statement). So suppose 1. holds. Then
|Date of creation||2013-03-22 16:37:48|
|Last modified on||2013-03-22 16:37:48|
|Last modified by||CWoo (3771)|