theorem Th9: :: SPRECT_1:9

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