theorem Th41: :: TSEP_1:41

for X being TopSpace
for A1, A2, B being Subset of X holds
( ( A1,B are_separated & A2,B are_separated ) iff A1 \/ A2,B are_separated )