AbstractThe aim of the present paper is to define and bring together the fundamental definitions such as relative hyperideals, relative bi-hyperideals, relative quasi-hyperideals, relative prime hyperideals, relative weakly prime hyperideals, relative semiprime hyperideals, relative prime and relative semiprime bi-hyperideals, and hyper relative regularity of dynamic algebraic character to develop the theory of hypersemigroups, and obtain the results relating to and connecting these hyperideal-theoretic definitions of this vast theory to the larger framework of the algebraic area of ordered hypersemigroups as well as of involution ordered hypersemigroups.