Subsets of R which support hypergroups with polynomial characters

It is shown that if a hypergroup (H,∗), with H an infinite subset of R, has polynomial characters of every degree and if either H is compact or the polynomials are orthogonal with respect to a measure supported on H, then those polynomials are essentially the Jacobi polynomials. Related results are obtained for polynomial product formulas.