for Y being non empty TopStruct
for A, B being Subset of Y st ( A is T_0 or B is T_0 ) holds
A /\ B is T_0