:: deftheorem defines CContinuousFunctions CC0SP2:def 3 :
for X being non empty TopSpace holds CContinuousFunctions X = { f where f is continuous Function of the carrier of X,COMPLEX : verum } ;