for x being set
for C being Coherence_Space st x in union C holds
{x} in C