for X being non empty TopSpace
for x being set st x in C_0_Functions X holds
x in BoundedFunctions the carrier of X