Ordered regular equivalence relations on ordered semihypergroups (Q906871)

This is from the last section of the paper: ``Conclusions and future work: In this paper, we introduce the concepts of ordered regular (strongly ordered regular) equivalence relations on ordered semihypergroups, and construct an ordered semilattice equivalence relation \(\mathcal{N}\) by hyperfilters and an ordered regular equivalence relation \(\rho_I\) by hyperideals respectively. Moreover, we show that \(\mathcal{N}\) is the least ordered semilattice equivalence relation. However, it is not the least semilattice equivalence relation. Also, we answer the question proposed by B. Davvaz et al by constructing the ordered regular equivalence relation \(\rho_I\).'' First of all, the notations \(\mathcal{N}\) and \(\rho_I\) are from semigroups and there is no any ``construction'' in the present paper. There are strange terminologies (and notations) in the paper that make the paper unreadable. We will keep the standard terminology ``congruence'' instead of ``regular equivalence relation''. In an ordered semigroup \(S\), the equivalence relation \(\mathcal{N}\) on \(S\) defined by \(a\mathcal{N}b \Leftrightarrow N(a)=N(b)\), where \(N(a)\) is the filter of \(S\) generated by \(a\), is a semilattice congruence on \(S\) [\textit{N. Kehayopulu}, Math. Japon. 35, No. 6, 1061--1063 (1990; Zbl 0717.06008)]; it is a complete semilattice congruence on \(S\) (cf. Remark 1 in [\textit{N. Kehayopulu} and \textit{M. Tsingelis}, Semigroup Forum 47, No. 3, 393--395 (1993; Zbl 0782.06013)]); in contrast to semigroups (without order) it is not the least semilattice congruence, but it is the least complete semilattice congruence on \(S\) [\textit{N. Kehayopulu} and \textit{M. Tsingelis}, in: Lyapin, E.S. (ed.), Decompositions and homomorphic mappings of semigroups. Interuniversitary collection of scientific works. Sankt-Peterburg: Obrazovanie. 50--55 (1992; Zbl 0823.06006)]. These results have been transferred by the authors in Theorems 3.1 and 3.5 and in Example 3.6 of the paper without any reference to the original papers on ordered semigroups on which their results are based. They present the Examples 2.4 and 3.6 of the paper as their own while they come from ordered semigroups and do not belong to the authors. For the Example 4.2 they refer to [\textit{J. Tang} et al., J. Intell. Fuzzy Syst. 29, No. 1, 75--84 (2015; Zbl 1352.06018)], but this example also comes from ordered semigroups and does not belong to Tang, Davvaz and Luo. Even the expression ``we give the covering relation and the figure of \(S\)'' does not belong to the authors and a reference should be certainly given. Concerning the problem proposed by \textit{B. Davvaz} et al. [Eur. J. Comb. 44, Part B, 208--217 (2015; Zbl 1308.06010)], this is actually the problem on ordered semigroups proposed by \textit{N. Kehayopulu} and \textit{M. Tsingelis} [Semigroup Forum 50, No. 2, 161--177 (1995; Zbl 0823.06010)] and answered in Lemma 1 of the same paper; it is natural to ask if it holds when we replace the ``\(\cdot\)'' by ``\(\circ\)'', that is in an ordered hypersemigroup. And as to a congruence relation of a semigroup correspond two concepts of congruences for hypersemigroup, Davvaz et al. examined the results for one of these two concepts (which called strongly regular relation) and put the examination of the other case (called regular relation) as an open problem. This has been examined in Theorem 4.1 of the paper which is a modification of Proposition 2.6 of the paper by \textit{X.-Y. Xie} [Semigroup Forum 61, No. 2, 159--178 (2000; Zbl 0967.06012)]. Most of the results on ordered semigroups can be transferred to ordered hypersemigroups; that's why, in every paper on an ordered hypersemigroup a proper reference list is needed. There are 36 items listed in the References, while the paper is mainly based on the paper by Xie mentioned above ([35] in the References) and on papers on ordered semigroups containing the results mentioned above -- not listed in the References. For the concept of ordered semigroups they refer to Xie ([36] in the References), while this concept is known by Birkhoff many years ago.