The join distributiveAbsorption law states that for the join operator vvv
, the meet operator ^^^
,
and for any value
a, the following must hold:
The join distributiveAbsorption law states that for the join operator vvv
, the meet operator ^^^
,
and for any value
a, the following must hold:
a1 vvv (a2 ^^^ a3) === (a1 vvv a2) ^^^ (a1 vvv a3)
The set of all laws that instances of DistributiveAbsorption
must satisfy.
The set of all laws that instances of DistributiveAbsorption
must satisfy.
The meet distributiveAbsorption law states that for the join operator vvv
, the meet operator ^^^
,
and for any value
a, the following must hold:
The meet distributiveAbsorption law states that for the join operator vvv
, the meet operator ^^^
,
and for any value
a, the following must hold:
a1 ^^^ (a2 vvv a3) === (a1 ^^^ a2) vvv (a1 ^^^ a3)