theorem :: COH_SP:10

for C being Coherence_Space st union C in C holds
C = bool (union C)