theorem Th47: :: TSEP_1:47
for X being TopSpace
for A1, A2 being Subset of X st A1 c= A2 holds
A1,A2 are_weakly_separated