for X being non empty TopSpace
for X1, X2 being non empty SubSpace of X st X = X1 union X2 & X1 misses X2 holds
( X1,X2 are_weakly_separated iff ( X1 is open SubSpace of X & X2 is open SubSpace of X ) )