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