Abstract
We initially introduce the concepts of an m-right (m-left) hyperideal and an m-hyperideal in a hypergroupoid. The ideas behind an m-factor and a generalized m-factor are then introduced. Next, we demonstrate the existence and important properties of these sub-hyperstructures through theorems and examples. We then define the m-right (m-left) consistent, m-consistent, m-intra-consistent, and m-simple hypergroupoids. Finally, we demonstrate that practical problems in biology, such as ABO blood group genetics, can be studied by defining these hypergroupoid substructures.