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