We show that the quantum family of all maps from a finite space to a finite dimensional compact quantum semigroup has a canonical quantum semigroup structure.