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