for X being set holds bool X is Coherence_Space