Structural properties for \((m,n)\)-quasi-hyperideals in ordered semihypergroups (Q2299533)

In this paper, the authors introduce the notion of an \((m,n)\)-quasi-hyperideal, \((m,0)\)-hyperideal and \((n,0)\)-hyperideal in an ordered semi-hypergroup and, then, study some properties of \((m,n)\)-quasi-hyperideals, \((m,0)\)-hyperideals and \((n,0)\)-hyperideals. Thereafter, the authors characterize the minimality of an \((m,n)\)-quasi-hyperideal in terms of \((m,0)\)-hyperideals and \((0,n)\)-hyperideals respectively. The relation \(\mathcal{Q}^m_n\) on an ordered semihypergroup is introduced. The authors also show that, in an \((m,n)\)-regular ordered semihypergroup, the relation \(\mathcal{Q}^m_n\) coincides with the relation \(\mathcal{Q}\), i.e. \(\mathcal{Q}^1_1\). Finally, the notion of an \((m,n)\)-quasi-hypersimple ordered semihypergroup is introduced and some properties of \((m,n)\)-quasi-hypersimple ordered semihypergroups are studied. The authors further show that, on any \((m,n)\)-quasi-hypersimple ordered semihypergroup, the relations \(\mathcal{Q}^m_n\) and \(\mathcal{Q}\) are equal and are universal relations.