Description: In a topological monoid, the operation F representing the functionalization of the operator slot +g is continuous. (Contributed by Mario Carneiro, 19-Sep-2015)