thus [#] (R^1 | X) is convex Subset of R^1 by PRE_TOPC:def 10; :: according to TOPALG_2:def 4 :: thesis: verum