バナッハ環
therefore the ordinary product of functions is continuous in formula_79 with respect to each argument, making this function space a Banach algebra.