set T = Trectangle (a,b,c,d);
thus [#] (Trectangle (a,b,c,d)) is convex Subset of (TOP-REAL 2) by PRE_TOPC:8; :: according to TOPALG_2:def 1 :: thesis: verum