theorem Th53: :: TSEP_1:53

for X being TopSpace
for A1, A2, B being Subset of X st A1,B are_weakly_separated & A2,B are_weakly_separated holds
A1 \/ A2,B are_weakly_separated