In Universal algebra, we do not study only algebras which have one base set but many base sets. In 1970, G. Birkhoff and John D. Lipson [1] extended the concept of base structure of algebras from one-sorted to many-sorted, that is called heterogeneous algebras or many-sorted algebras. In this present paper, we show that the set of partial generalized hypersubstitutions Σ|I|,n(i)- HypG forms a monoid. |