theorem Th4: :: COH_SP:4

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