theorem Th10: :: SPRECT_1:10

for A, B being Subset of (TOP-REAL 2) st A c= B & B is vertical holds
A is vertical ;