This is a form of additivity axiom:

forall B,C,D in A (the algebra) with B intersect (C union D) = empty set :

C"=>"D => B union C "=>" B union D