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