A hyperideal which behaves like a strongly regular relation in Krasner (m; n)-hyperrings

One of the most important tools in algebraic (m; n)-hyperstructures is represented by strongly regular relations, which connects an algebraic (m; n)-hyperstructure to the associated algebraic (m; n)- structure. In this paper, we define the notion of a normal hyperideal for a Krasner (m; n)-hyperring and show that it has a behavior similar to strongly regular relations and we can obtain trivial Krasner (m; n)-hyperrings by it.