theorem Th42: :: CC0SP2:42

for X being non empty TopSpace
for x being set st x in CC_0_Functions X holds
x in ComplexBoundedFunctions the carrier of X