:: deftheorem defines ContinuousFunctionsNorm C0SP3:def 7 :
for S being non empty compact TopSpace
for T being NormedLinearTopSpace holds ContinuousFunctionsNorm (S,T) = (BoundedFunctionsNorm ( the carrier of S,T)) | (ContinuousFunctions (S,T));