:: deftheorem defines ContinuousFunctions C0SP3:def 1 :
for S being non empty TopSpace
for T being LinearTopSpace holds ContinuousFunctions (S,T) = { f where f is Function of the carrier of S, the carrier of T : f is continuous } ;