theorem :: C0SP1:10

for X being non empty set holds R_Algebra_of_BoundedFunctions X is Subalgebra of RAlgebra X by Th6;