:: deftheorem defines C_0_FunctionsNorm C0SP2:def 8 :
for X being non empty TopSpace holds C_0_FunctionsNorm X = (BoundedFunctionsNorm the carrier of X) | (C_0_Functions X);