In this paper, we introduce the concept of semihyperring $(R,+,cdot)$ together with a suitable partial order $le$. Moreover, we introduce and study hyperideals in ordered semihyperrings. Simple ordered semihyperrings are defined and its characterizations are obtained. Finally, we study some properties of quasi-simple and $B$-simple ordered semihyperrings.

in a ternary semihyperring, addition is a hyperoperation and multiplicationis a ternary operation. indeed, the notion of ternary semihyperringsis a generalization of semirings. our main purpose of this paper is to introducethe notions of fuzzy hyperideal and fuzzy bi-hyperideal in ternary semihyperrings.we give some characterizations of fuzzy hyperideals and investigateseveral kinds of them.

we consider the fundamental relation  on a semihypergroup  to interpret the lower and upper approximations as subsets of the fundamental semigroup  and we give some results in this connection. also, we introduce the notion of a bi-hyperideal to study the relationship between approximations and bi-hyperideals.

Generalizing the concepts of (∈,∈ ∨q)-fuzzy hyperideal, (∈,∈ ∨q)-fuzzy quasi-hyperideal and (∈,∈ ∨q)-fuzzy bihyperideal, the notions of (∈,∈ ∨qk)-fuzzy hyperideal, (∈,∈ ∨qk)-fuzzy quasi-hyperideal and (∈,∈ ∨qk)-fuzzy bi-hyperideal are defined. Using these notions, different classes of semihypergroups are characterized.