Semigroup structures for families of functions, II. Continuous functions

Abstract

This is a continuation of [5] and we begin by recalling two definitions and a result of that paper which are needed here. Let be a family of functions with domains contained in a set X and ranges contained in a set Y and let be a function with domain D()= Y and range with the property for each pair of elements ƒ and g of . Since the composition operation is associative, is a semigroup if for ƒ and g in , we define the product ƒg by .