first construct a hyperoperation oµ on G. We show that if µ is subnormal, then the
hyperstructure (G, oµ) is a hypergroup and under suitable conditions it is a join space. Then
we give some properties of this hyperstructure and prove some related results. Finally we
introduce the category of (fuzzy) hypergroups.