theorem Th15: :: C0SP1:15

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