for X being non empty TopSpace
for f being continuous Function of the carrier of X,COMPLEX holds
( |.f.| is Function of the carrier of X,REAL & |.f.| is continuous )