theorem Th66: :: COHSP_1:66

for C being Coherence_Space holds union ('not' C) = union C