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.