thus the carrier of I[01] is real-membered by BORSUK_1:83; :: according to TOPMETR:def 9 :: thesis: verum