ABSTRACT
A hypergroup is a locally compact Hausdorff space X with a certain convolution structure * on its measures space. Let δx be the Dirac measure at x ∈ X. Then the convolution δx * δy of the two point measures δx and δy is a probability measure on X with compact support, and such that (x,y) → supp(δx * δy) is a continuous mapping from X × X into the space of compact subsets of X. Unlike for the case of groups this convolution is not necessarily the point measure δx.y for a composition x.y in X.
