Positive definite functions on Abelian semigroups