:: deftheorem defines CC_0_FunctionsNorm CC0SP2:def 9 :
for X being non empty TopSpace holds CC_0_FunctionsNorm X = (ComplexBoundedFunctionsNorm the carrier of X) | (CC_0_Functions X);