Rough bipolar fuzzy ideals in semigroups

Fuzzy set (FS) theory and rough sets (RSs) are constructed to accommodate the data uncertainty. In contrast, the bipolar FS (BFS) theory can tackle the uncertainty and the bipolarity of the data in different circumstances. This article aims to introduce the idea of rough bipolar fuzzy ideals in semigroup (SG), which is a generalization of the concept of rough BFSs (RBFSs) in an SG. We also investigate the roughness in the bipolar fuzzy subsemigroup (BF-SSG) with the help of congruence relation (cng-R) defined on the SG and studied some relevant structural properties. Moreover, the idea is extended to the rough bipolar fuzzy left ideal, rough bipolar fuzzy right ideal, rough bipolar fuzzy two-sided ideal, rough bipolar fuzzy interior ideal, and rough bipolar fuzzy bi-ideal in SGs. Further, it is seen that cng-Rs and complete cng-Rs play vital roles in the construction of rough approximations of bipolar fuzzy ideals. Consequently, their associated properties are explored by using cng-Rs and complete cng-Rs.


Introduction
To handle uncertainty and imprecision of the data, FS theory and RS theory are two very prominent notions.Although these theories are different, they can be combined in a very productive way.
The basic idea of FSs established by Zadeh [61] is an extension of classical sets.This idea not only brought a revolution in mathematics and logic but also in science and technology.FS theory depends on the fuzzy membership function (MF), through which we can evaluate the membership degree (MD) of an object w.r.t to a set.The larger the MD, the greater the belongingness of that object to the associated set.In line with the progress and to deal with new challenges, it has been proposed several types of extensions of FSs [6,24,46].
The primary and fundamental idea of RS theory [47] was initially developed by Pawlak as a valuable mathematical approach to tackle uncertainty in data analysis.In the recent, this theory has got broad attention in the research domains in both real-life applications and the theory itself [4,22,45].Dubois and Prade [14] suggested the idea of rough FS (RFS) by combining FSs and RSs.Initially, Rosenfeld [49] pioneered the idea of fuzzy subgroups.The concept of fuzzy SGs was introduced and studied by Kuroki [32] in 1991 for the first time.The fuzzy bi-ideals, fuzzy radicals, and fuzzy prime ideals of ordered SGs are presented in [28,56].Hussain et al. [23] offered the conception of roughness for fuzzy ideals in ordered SGs.Mahmood et al. [43] offered the concept of roughness in fuzzy filters and fuzzy ideals with thresholds in ordered semigroups.Bashir et al. [10] projected the idea of rough fuzzy ideals induced by set-valued homomorphism in ternary SGs.Qurashi and Shabir [48] proposed the notion of roughness in quantales using generalized approximation space.RSs are hybridized with FSs in [8,14,15].Biswas and Nanda [12] fostered the notions of rough groups and rough subgroups.
In many real-life scenarios apart from the MF, the non-MF is also required.The MF speaks about the positive aspects of the data, while non-MF reveals the negative aspects of the data.To address such conditions, the concept of bipolar FSs (BFSs) was put forward by Zhang [62] as an extension of FSs.Since its inception, several scholars have taken an eager interest in the theory of BFSs, and many applications have been reported in different domains.Han et al. [18] established a bipolar-valued rough fuzzy set model with applications to the decision information system.Luo and Hu [38] presented a bipolar three-way decision model and its application in analyzing incomplete data.Mahmood et al. [41] developed a multiple-criteria decision-making based on BFSs.For more about BFSs, we refer to References [3,5,44,57].
A lot of research has been accomplished on fuzzy and bipolar fuzzy structures.Mahmood and Munir [42] initiated bipolar fuzzy subgroups.Yiarayong [60] developed some algebraic structures on SGs by applying BFS theory.Jun and Park [25], Jun et al. [26], and Lee [34] implemented BFSs to BCK/BCI-algebras.Kim et al. [30] discovered several properties of bases, neighborhoods, and continuities in bipolar fuzzy topological spaces.Gaketem et al. [16] give the concept of SGs in terms of cubic bipolar fuzzy ideals.Kang and Kang [27] applied BFS to sub-SGs with operators in SGs.In [64,65], Zhou and Li discussed applications of BFS theory to hemirings and semiring.Hayat et al. [19] present the notions of bipolar anti-fuzzy h-ideals and bipolar anti-fuzzy interior h-ideals in hemirings.In 2019, Shabir et al. [53] worked on regular and intra-regular semirings in terms of bipolar fuzzy ideals.Recently, it has been discussed algebra and σ -algebra via soft set theory by Al-shami et al. [7] and Ameen et al. [9].
Numerous attempts have been conducted to hybridize RSs and BFS theory [18,57,58].The notion of RBFSs handles the vagueness and uncertainty, as well as bipolarity in data which can not be avoided in many real-life problems.The concepts of roughness, fuzziness, and bipolarity are also correlated to the SGs in different manners by many authors to study the data having the structure of SGs.Gul and Shabir [17] put forward a novel concept of the roughness of a set based on (α, β)-indiscernibility of a bipolar fuzzy relation.Yang et al. [57] fostered the idea of the transformation of bipolar fuzzy RS models.Malik and Shabir [40] developed a consensus model based on rough bipolar fuzzy approximations.
The theory of SGs is a substantial portion of algebra and this theory is frivolous without the study of ideals.Ideal theory in SGs is correlated to the FSs by many authors in different ways.Ahsan et al. [1] presented the fuzzy quasiideals in SGs.Ahsan et al. [2] established SGs characterized by their fuzzy bi-ideals.Fuzzy interior ideals in SGs were initiated by Hong et al. [21].Khan and Shabir [29] pioneered the idea of (α, β)-fuzzy interior ideals in ordered SGs.In [50], Shabir and Ali studied soft ideals and generalized fuzzy ideals in SGs.Shabir and Khan [51] fostered fuzzy quasi-ideals of ordered SGs.Characterizations of regular SGs by (α, β)fuzzy ideals are investigated by Shabir et al. [52].Shabir et al. [54] offered the notions of SGs characterized by ( , ∨ qk)fuzzy ideals.It was applied fuzzy settings to address various practical issues as given in [55,63].
In SGs, the idea of rough ideals was first initiated by Kuroki [33] in 1997.Bipolar fuzzy ideals in SGs were presented by Kim et al. [31].Yiarayong [60] proposed a new approach to deal with the algebraic structure of SGs by applying BFS theory.In 2011, Hedayati [20] defined the intervalvalued (α, β)-fuzzy bi-ideals of SGs, and investigated some fundamental properties.Bashir et al. [11] investigated the roughness of fuzzy ideals with three-dimensional congruence relation of ternary SGs.
Based on the research survey, we can observe that many scholars have studied the roughness of various algebraic structures.According to the best of our knowledge, in the current literature on BFSs and RS theory, there are no studies of SGs and ideals.Therefore, in this study, we attempt to fill the research gap by developing the idea of rough bipolar fuzzy ideals in SGs.In this respect, we have discussed the BFSs and bipolar fuzzy ideals (BF ideals) in an SG.Moreover, we studied the roughness in the BF-SSGs with the help of a cng-R defined on the SG and investigated some properties of the rough BF-SSG.Also, the rough BF ideal (RBF ideal), rough bipolar fuzzy interior ideal (RBFI ideal), and rough bipolar fuzzy bi-ideal (RBF bi-ideal) in the SGs are defined and discussed in this study.
The outliving part of the article is presented as follows: In section "inlinkPreliminariessec2", some prior literature which is necessary for understanding our research work.Section "Bipolar fuzzy sets in semigroups" is dedicated to study BFSs in SGs along with their important structural properties.Section "Rough bipolar fuzzy sets in semigroups" offers a novel idea of rough BFS in SGs.In Section "Rough bipolar fuzzy ideals in semigroups", we established the concept of RBF ideals in SGs.In Section "Comparative analysis and discussion", a comparative study of the proposed technique is given with some already existing techniques in the literature.Finally, in Section "Conclusions", we summarize our findings and give a few recommendations for future perspectives.

Preliminaries
In this section, we will give and deliberate several rudimentary ideas associated with RSs, FSs, BFSs, ideals, rough ideals in SGs, and BF ideals in SGs.

RS theory
One can always relate certain information to each element of the universe.The RS theory [47] uses the lower and upper approximations of a cluster of elements to describe how close the elements are to the data associated with them.Pawlak constructed these approximations from an equivalence relation (ER) σ on a universe U of objects.The equivalence class in U /σ consisting of the element x of U is symbolized by [x] σ .These classes work as the fundamental building blocks of the information.
Definition 1 [47] Let U be a finite and non-empty universe, and σ ⊆ U × U be an ER.With the help of this ER σ , a subset S of U can be characterized through a pair of lower and upper rough approximations ( The pair σ (S), σ (S) is called an RS of S in U .

FSs and BFSs
The theory of FSs measures the uncertainty of phenomena related to the objects through a mapping, known as the MF.
Definition 2 [61] A FS ξ in U is characterized by a MF ξ : U −→ [0, 1].Thus, an FS ξ assigns to each element x ∈ U , a membership value ξ(x) specifying the degree to which x belongs to ξ .
The idea of BFS was introduced by Zhang [62] as a generalization of the FSs to resolve a specific class of DM problems.In the BFSs, the MDs are described by a pair of MFs: a positive MF (PMF) and a negative MF (NMF).
If μ is defined by a property A and x ∈ U , then the PMF μ P (x) indicates the degree of fulfillment of x to the property A, while the NMF μ N (x) demonstrates the fulfillment degree of x to some implicit counter property of A. If μ P (x) = 0 = μ N (x), then the object x is irrelevant to the property A.
The collection of all BFSs in U is represented by B F(U ).We write μ(x) = μ P (x), μ N (x) for x, μ P (x), μ N (x) .
Lee [35] defined some basic operations on the BFSs.
Definition 5 [35] The whole BFS in U is represented by I U = I P , I N , where I P (x) = 1 and I N (x) = 0 for all x ∈ U .The null BFS in U is expressed as O U = O P , O N , where O P (x) = 0 and O N (x) = −1 for all x ∈ U .Thus, Definition 6 [35] Let μ, ν ∈ B F(U ).Then (1.5) Definition 7 [35] The complement μ c of μ ∈ B F(U ) is characterized as (1.6)

Ideals and rough ideals in SGs
Here, we review some definitions of ideals and rough ideals in SGs and their characterizations.
Recall that, an SG Υ is a non-empty set on which an associative binary operation is defined.Take a non-empty subset Q of a SG Υ .Then Definition 8 A cng-R on an SG Υ is an ER on Υ which is right and left compatible that is, (x, y) ∈ implies that (ax, ay), This can be observed in the subsequent example.
Example 1 Let Υ = {s, t, u, v} represent an SG whose table of binary operation is given below.We take two cng-Rs 1 and 2 on Υ , defined below Then, 1 defines the cng-classes {s}, {t} and {u, v}, while 2 defines the cng-classes {s}, {t, u} and {v}.It can be easily checked that, Rough subsets in SGs were defined by Kuroki [33], which are given below.He also gave some characterizations of the lower and upper approximations of these subsets under the cng-R defined on the SG.
Definition 9 [33] Let Υ be an SG and be a cng-R on Υ .The lower and upper approximations of a subset Q of Υ are the subsets Q and Q of Υ , respectively, which are defined as follows: is both, lower and upper left (right, two-sided, interior, bi-) ideal of Υ .
Theorem 1 [33] Let be a cng-R on an SG Υ .Then, we have the subsequent assentations.
1.Each SSG of Υ is an upper rough SSG of Υ .

Each left (right, bi-) ideal of Υ is an upper rough left
(right, bi-) ideal of Υ .
Theorem 2 [33] Let be a complete cng-R on a SG Υ .Then, we have the subsequent assentations.

BF ideals in SGs
The BF ideals in SGs were defined by Kim et al. [31].Yaqoob [59] studied BF ideals in LA-SGs.This subsection reviews some definitions of the BF ideals in an SG.
The composition λ • μ of λ and μ in Υ is defined as where and Definition 14 [31]  Simple calculations confirm that λ 1 is a BF-SSG, λ 2 is a BF left ideal, λ 3 is a BF interior ideal, and λ 4 is a BF bi-ideal of Υ .

Bipolar fuzzy sets in semigroups
In this section, we link the BF-SSGs to the SSGs of an SG and the BF left (right, two-sided, interior, bi-) ideals in SGs to the left (right, two-sided, interior, bi-) ideals of SGs, using the α-level P-cuts (positive cut) and α-level N-cuts (negative cut) of the BFS.

Definition 15 Let λ ∈ B F S(Υ ).
Then, the α− level P-cut and the α− level N-cut of λ in U are, respectively, defined as respectively, for each 0 α ≤ 1.Then, we have the following results.

Theorem 3 Let Υ be an SG and λ ∈ B F S(Υ ). Then, λ is a BF-SSG of Υ if and only if
−α 1 , and so, a, b ∈ λ α 1 .However, Proof Let λ be a BF left ideal of Υ and let x ∈ Υ .Then, for any α ∈ [0, 1] and for each a ∈ λ α , we have which implies that xa ∈ λ α for each x ∈ Υ and a ∈ λ α .That is, λ α is a left ideal of Υ for each α ∈ [0, 1].Now, for each a ∈ λ α , we have Conversely, let λ α and λ α be non-empty left ideals of Υ for each α ∈ [0, 1] and let a, b ∈ Υ .Denote λ P (b) by The expressions (3.5) and (3.6) prove that λ is a BF left ideal of Υ .Similar is the proof when λ is a BF right (or two-sided) ideal of Υ .
Theorem 5 Let Υ be an SG and λ ∈ B F S(Υ ).Then, λ is a BF interior ideal of Υ if and only if λ α and λ α , if non-empty, are interior ideals of Υ , for each α ∈ [0, 1].

Rough bipolar fuzzy sets in semigroups
The RBFSs in SGs are defined with the help of lower and upper RBF approximations of the BFSs in the SG Υ , on which a cng-R is defined.These approximations are defined and discussed in this section.We also define the RBF SSG of Υ .

Definition 16
Let be a cng-R on a SG Υ and let λ ∈ B F S(Υ ).The lower and upper RBF approximations of λ w.r.t are the BFSs (λ) and (λ) in Υ , respectively, defined for each s ∈ Υ as where λ N (t).
In [40], some characterizations of RBFSs in a non-empty set U having an ER were presented.These characterizations are also valid when the set U is replaced by the SG Υ and the ER on U is replaced by the cng-R on Υ .Therefore, the results in [40] also hold for the lower and upper RBF approximations of the BFSs in the SG Υ , given in Definition 16.Some other results are as follows.

Theorem 7 Let be a cng-R on a SG
Take any s ∈ Υ .If there exist elements x, y ∈ Υ , such that s = x y, then we have If there are no such elements x, y ∈ Υ , such that s = x y, then Similarly, for each s ∈ Υ , we have Thus, by Definition 3, we have Theorem 8 Let be a complete cng-R on an SG Υ .Then, (λ) Take any s ∈ Υ .If there exist elements x, y ∈ Υ , such that s = x y, then we have where If there are no such elements x, y ∈ Υ , such that s = x y, then Similarly, for each s ∈ Υ , we have Thus, by Definition 3, we get Definition 17 Let be a cng-R on an SG Υ and let λ ∈ B F S(Υ ).Then, λ is a lower (or upper) RBF SSG of Υ , if (λ) (or (λ)) is a BF-SSG of Υ .
A BFS λ in Υ , which is both, lower and upper RBF SSG of Υ , is called an RBF SSG of Υ .
The converse statement of the Theorem 9 is invalid in general, as exhibited in the next example.Simple calculations verify that (λ) is a BF-SSG of Υ .However, λ is not a BF-SSG of Υ , as Proof Let be a complete cng-R on Υ and λ be a BF-SSG of Υ .Now, for each x, y ∈ Υ , we have λ P (ab), where s = ab and λ N (ab), where s = ab This verifies that (λ) is a BF-SSG of Υ .Hence, λ is a lower RBF SSG of Υ .
The converse statement of the Theorem 10 is not true generally, as exhibited in the next example.

Example 4
Let us consider an SG Υ = {s, t, u, v} whose binary operation is given in Table 3.
Simple calculations verify that (λ) is a BF-SSG of Υ .However, λ is not a BF-SSG of Υ , as The next example demonstrates that Theorem 10 is invalid if the cng-R is not complete.Simple calculations verify that (λ) is also a BF-SSG of Υ , while (λ) is not a BF-SSG of Υ , as

Rough bipolar fuzzy ideals in semigroups
This section presents the notions of the RBF left ideal, RBF right ideal, RBF two-sided ideal, RBFI ideal, and RBF biideal of Υ .We also explore some of their characteristics.Proof Take a BF right ideal λ and a BF left ideal ν of Υ .We have Now, for each s ∈ Υ , we have Similarly, for each s ∈ Υ , we have Thus, Definition 3 gives for each BF right ideal λ and BF left ideal ν of Υ .
Theorem 12 Let be a cng-R on a SG Υ .Then, each BF left (right, two-sided) ideal of Υ is an upper RBF left (right, two-sided) ideal of Υ .
Proof Take a BF left ideal λ of Υ .Then, λ P (ab) ≥ λ P (b) and λ N (ab) ≤ λ N (b) for each a, b ∈ Υ .Now, for each x, y ∈ Υ , we have 123 λ N (ab), where s = ab This verifies that (λ) is a BF left ideal of Υ .Hence, λ is an upper RBF left ideal of Υ .Similarly, the cases of BF right ideal and BF (two-sided) ideal of Υ can be verified.
The converse statement of the Theorem 12 is not valid generally, as shown in the next example.
Example 6 Let Υ = {k, l, m, n} represent an SG with binary operation given in Table 4.
Simple calculations verify that (λ) is a BF left ideal of Υ .However, λ is not a BF left ideal of Υ , as Theorem 13 Let be a complete cng-R on a SG Υ .Then, each BF left (right, two-sided) ideal of Υ is a lower RBF left (right, two-sided) ideal of Υ .
Proof Let be a complete cng-R on Υ and λ be a BF left ideal of Υ .Now, for each x, y ∈ Υ , we have λ P (ab), where s = ab and λ N (ab), where s = ab This verifies that (λ) is a BF left ideal of Υ .Thus, λ is a lower RBF left ideal of Υ .Similarly, the cases of BF right ideal and the BF two-sided ideal of Υ can be verified.
The converse statement of the Theorem 13 is not valid generally, as exhibited in the following example.
Simple calculations verify that (λ) is a BF left ideal of Υ .However, λ is not a BF left ideal of Υ , as The following example indicates that Theorem 13 is not valid if the cng-R is not complete.Simple calculations verify that (λ) is also a BF left ideal of Υ , while (λ) is not a BF left ideal of Υ , as

Definition 20 Let
be a cng-R on a SG Υ and let λ ∈ B F S(Υ ).Then, λ is a lower (or upper) RBFI ideal of Υ , if (λ) (or (λ)) is a BF interior ideal of Υ .
A BFS λ in Υ , which is both, lower and upper RBFI ideal of Υ , is named as an RBFI ideal of Υ .λ N (s) λ N (abc), where s = abc This verifies that (λ) is a BF interior ideal of Υ .Hence, λ is an upper RBFI ideal of Υ .
The following example indicates that the converse statement of Theorem 14 is not valid generally.

Theorem 15
Let be a complete cng-R on a SG Υ .Then, each BF interior ideal of Υ is a lower RBFI ideal of Υ .
Proof Let be a complete cng-R on Υ and λ be a BF interior ideal of Υ .Now, for each x, w, y ∈ Υ , we have λ N (abc), where s = abc This verifies that (λ) is a BF interior ideal of Υ .Hence, λ is a lower RBFI ideal of Υ .
The converse statement of Theorem 15 is invalid generally, as exhibited in the next example.Simple calculations verify that (λ) is a BF interior ideal of Υ .However, λ is not a BF interior ideal of Υ , as λ P (tuv) = λ P (v) = 0.7 λ P (u) = 0.8.
The next example reveals that Theorem 15 is invalid if the cng-R is not complete.Simple calculations verify that (λ) is also a BF interior ideal of Υ , while (λ) is not a BF interior ideal of Υ , as

Definition 21
Let be a cng-R on an SG Υ and let λ ∈ B F S(Υ ).Then, λ is a lower (or upper) RBF bi-ideal of Υ , if (λ) (or (λ)) is a BF bi-ideal of Υ .
A BFS λ in Υ , which is both, lower and upper RBF bi-ideal of Υ , is said to be an RBF bi-ideal of Υ .
Theorem 16 Let be a cng-R on a SG Υ .Then, each BF bi-ideal of Υ is an upper RBF bi-ideal of Υ .
The converse statement of Theorem 16 is invalid generally, as exhibited in the following example.
12 Recall the SG Υ = {k, l, m, n} and the cng-R on Υ , as established in Example 6.We take a BFS λ in Υ , defined as follows: The upper RBF approximation of λ is calculated as Simple calculations verify that (λ) is a BF bi-ideal of Υ .However, λ is not a BF bi-ideal of Υ , as

Theorem 17
Let be a complete cng-R on a SG Υ .Then, each BF bi-ideal of Υ is a lower RBF bi-ideal of Υ .
Proof Let be a complete cng-R on Υ and λ be a BF biideal of Υ .Then, λ is also a BF-SSG of Υ .Which implies by Theorem 10 that (λ) = ( (λ P ), (λ N )) is a BF-SSG of Υ .Now, for each x, w, y ∈ Υ , we have λ P (abc), where s = abc This verifies that (λ) is a BF bi-ideal of Υ .Hence, λ is a lower RBF bi-ideal of Υ .
The converse statement of Theorem 17 is invalid generally, as exhibited in the next example.
The lower RBF approximation (λ) of λ is calculated as Simple calculations verify that (λ) is a BF bi-ideal of Υ .However, λ is not a BF bi-ideal of Υ , as The subsequent example indicates that Theorem 17 is invalid if the cng-R is not complete.Simple calculations verify that (λ) is also a BF bi-ideal of Υ , while (λ) is not a BF bi-ideal of Υ , as λ P (aba) = λ P (b) = 0.2 λ P (a) ∧ λ P (a) = 0.3.

Comparative analysis and discussion
Rough bipolar fuzzy ideals in SGs are a novel concept that incorporates RS theory and bipolarity in the study of fuzzy ideals in SGs.This approach provides a more flexible and refined way of handling in SG theory by investigating rough approximations and bipolarity in the construction of fuzzy ideals.This approach leads to more realistic and accurate models of SGs.When compared to other theories, rough bipolar fuzzy ideals in SGs offer several unique advantages: (1) One of the biggest advantages of rough bipolar fuzzy ideals is their flexibility in representing uncertainty and ambiguity.By combining RS theory and BFS theory, they can handle a wider range of data types and better represent the imprecision and vagueness that often arise in realworld applications.(2) FS theory is hybridized with ideal theory in SGs in many ways (see [1,2,21,29,[50][51][52]54]).Some authors have investigated roughness in different types of fuzzy ideals in SGs (see [10,23]), but their work does not capture the bipolarity which is an essential aspect of the data and human thinking.On the other hand, the bipolar nature of rough bipolar fuzzy ideals offered and can capture both positive and negative data, as well as the trade-offs between them more naturally and understandably.(3) Some work on the bipolarity in fuzzy ideals can also be found in the literature [31,59], but the roughness of the presented ideals is not investigated in these articles.Our work is a conglomeration of FS theory, RS theory, and the bipolarity of data applied to the ideal theory of SGs.
In this article, we apply the concept of roughness to the bipolar fuzzy ideals in SGs, which is the distinctiveness and novelty of our work.
In summary, rough bipolar fuzzy ideals in SGs offer a more versatile and flexible approach than traditional theories to study fuzzy ideals in SGs.They are more flexible, provide a unified framework for analyzing different types of SGs, offer more accurate results, and represent a novel and advanced approach to study fuzzy ideals in SGs.Therefore, they can be considered superior to existing notions of fuzzy ideals in semigroups.

Conclusions
The RS theory has been more popular in recent years.It offers a novel theoretical framework for tackling complicated problems in an uncertain environment.Meanwhile, BFS theory is a generalization of FSs and plays a vital role in human decision-making.Positive information depicts what is considered possible, whereas negative information indicates what is considered impossible.In the present study, the notions of BFSs in SGs are presented.Then, the idea is extended to RBFSs in SGs by defining the lower and upper approximations of BFSs in SGs.Meanwhile, the notions of the RBF left (resp.right) ideals, RBF two-sided ideal, RBFI ideal, and RBF bi-ideal of SGs are presented.Some important properties associated with these ideas are also given.Several illustrations, where required, have been included to perceive the notions presented with ease.Keeping aside the notional and theoretic features, the ideas unveiled have enough potential to be expanded in coping intelligently with day-to-day life situations including business and trade analysis, robotics, social sciences, life sciences, agricultural sciences, human resource management, pattern recognition, water management, medicine, economics, energy crisis problems, recruit problems, and many other fields of practical usage.In the future, we intend to focus on the roughness of bipolar fuzzy ideals of semigroups in the context of soft set theory.Also, we will give attention to the roughness of multi-polar fuzzy ideals and multi-polar hyperideals of semihypergroups.

Definition 18
Let be a cng-R on an SG Υ and let λ ∈ B F S(Υ ).Then, λ is a lower RBF left (right, two-sided) ideal of Υ , if (λ) is a BF left (right, two-sided) ideal of Υ .Definition 19Let be a cng-R on an SG Υ and let λ ∈ B F S(Υ ).Then, λ is an upper RBF left (right, two-sided) ideal of Υ , if (λ) is a BF left (right, two-sided) ideal of Υ .A BFS λ in Υ , which is both, lower and upper RBF left (right, two-sided) ideal of Υ , is called an RBF left (right, two-sided) ideal of Υ .Theorem 11 Let be a cng-R on an SG Υ .Then, (λ•ν) ⊆ (λ)∩ (ν) holds for each BF right ideal λ and BF left ideal ν of Υ .

Table 2
Multiplication table for

Table 3
Multiplication table for