Positive-definite functions on involution semigroups