theorem Th85: :: COHSP_1:85

for C1, C2 being Coherence_Space holds union (C1 "/\" C2) = (union C1) U+ (union C2)