An application of fuzzy ideals techniques to the level subsets of ordered \(\Gamma\)-groupoids (Q323592)

For two nonempty sets \(M\) and \(\Gamma\), we define \(M\Gamma M := \{a\gamma b \mid a,b \in M,\gamma\in \Gamma\}\). Then, \(M\) is called a \(\Gamma\)-groupoid if \(M\Gamma M\subseteq M\). If \(a\gamma (b\mu c)=(a\gamma b)\mu c\) for all \(a,b,c \in M\) and all \(\gamma,\mu\in \Gamma\) then \(M\) is called a \(\Gamma\)-semigroup. An ordered \(\Gamma\)-groupoid (po-\(\Gamma\)-groupoid) is a \(\Gamma\)-groupoid \(M\) with an order relation ``\(\leq\)'' on \(N\) such that \(a\leq b\) implies \(a\gamma b\leq b\gamma c\) and \(c\gamma a\leq c\gamma b\) for all \(c\in M\) and all \(\gamma\in \Gamma.\) Let \(N\) be a po-\(\Gamma\)-groupoid. The author characterizes fuzzy left (right) ideals, fuzzy ideals and fuzzy prime (semiprime) ideals of an ordered \(\Gamma\)-groupoid \(M\) in terms of level subsets and prove that the Cartesian product of two fuzzy left (right) ideals of \(M\) is a fuzzy left (right) ideal of \(M\times M\), and the Cartesian product of two fuzzy prime (semiprime) ideals of \(M\) is a fuzzy prime (semiprime) ideal of \(M\times M\). As a result, if \(\mu\) and \(\sigma\) are fuzzy left (right) ideals, ideals, fuzzy prime or fuzzy semiprime ideals of \(M\) then the nonempty level subsets \((\mu\times \sigma)_t\) are so.