theorem Th56: :: C0SP3:56

for X being non empty TopSpace
for T being NormedLinearTopSpace
for v, u being Element of (RealVectSpace ( the carrier of X,T)) st v in C_0_Functions (X,T) & u in C_0_Functions (X,T) holds
v + u in C_0_Functions (X,T)