theorem Th8: :: CC0SP1:8

for X being non empty set holds 0. (C_Algebra_of_BoundedFunctions X) = X --> 0