   In the next, i.e., second section of this article, we recall some preliminary definitions and notations given by Jewett in [1]}, and introduce some new definitions required for further work. We conclude the section with listing some important useful examples of semihypergroups and hypergroups. In the third section, we initiate the study of a free structure on semihypergroups. We introduce a free product structure and construct a specific topology and convolution for a family of semihypergroups such that the resulting semihypergroup abides by an universal property equivalent to the universal property for free products in the classical theory of topological groups, thus providing us with a whole new class of examples for semihypergroups.
