A class of hyperrings and hyperfields

Hyperring is a structure generalizing that of a ring, but where the addition is not a composition, but a hypercomposition, i.e., the sum x