theorem :: TSP_1:15

for X being non empty TopSpace
for X1 being non empty T_0 SubSpace of X
for X2 being non empty SubSpace of X st X1 meets X2 holds
X1 meet X2 is T_0