Anti-Fuzzy Multi-Ideals of Near Ring

: Recently, fuzzy multisets have come to the forefront of scientists’ interest and have been used for algebraic structures such as groups, rings, and near rings. In this paper, we ﬁrst summarize the knowledge about algebraic structure of fuzzy multisets such as fuzzy multi-subnear rings and fuzzy multi-ideals of near rings. Then we recall the results from our related previous work, where we deﬁned different operations on fuzzy multi-ideals of near rings and we generalized some known results for fuzzy ideals of near rings to fuzzy multi-ideals of near rings. Finally, we deﬁne anti-fuzzy multi-subnear rings (multi-ideals) of near rings and study their properties.


Introduction
In 1938 Dresher and Ore laid the foundations of the theory of multigroups [1]. In 1965, Zadeh [2] proposed fuzzy sets as a mathematical model of vagueness where elements belong to a given set to some degree that is typically a number between 0 and 1 inclusive. A multiset, as defined by Yager [3] in 1987, is a collection of elements with the possibility that an element may occur more than once. Multiplicity in the multiset is the number of times an element occurs in the multiset. It is evident that a multiset in which every element has a multiplicity of exactly one is a set, i.e., its elements are pairwise different [4]. As a combination of the two concepts-multisets and fuzzy sets-Yager [3] defined fuzzy multisets or fuzzy bags. The latter are fuzzy subsets whose elements may occur more than once.
Biswas [5] introduced anti-fuzzy subgroups and then the anti-fuzzification of algebraic structures started to grow. In particular, a link between near rings and anti-fuzzy sets was established by Kim and Jun [6], where they studied the notion of anti-fuzzy R-subgroups of near rings. Later on, Kim et al. [7] introduced the notion of anti-fuzzy ideals of near rings and investigated some related properties. Davvaz studied the fuzzy ideals of near rings in [8]. Ferrero and Ferrero-Cotti presented some development in near rings in 2002, see [9].
In [10], the authors combined the notion of near rings with fuzzy multisets and defined fuzzy multi-subnear rings (multi-ideals) of near rings. In our paper, we combine the notion of near rings with fuzzy multisets [11] to define anti-fuzzy multi-subnear rings (multi-ideals) of near rings.
The aim of this paper is to highlight the connection between fuzzy multisets and algebraic structures from an anti-fuzzification point of view. Moreover, this research proposes the generalization of the results known for anti-fuzzy ideals of near rings. It is known that the notion of fuzzy multiset is well entrenched in solving many real life problems. So, the algebraic structure defined concerning them in this paper could help to approach these issues from a different position. The benefit of this paper is the link found

Fuzzy Multi-Ideal of Near Rings
This section combines the notions of fuzzy multiset [4,25] and fuzzy ideals of near rings to define fuzzy multi-ideals of near rings. It presents several results related to the new defined concept. Since every fuzzy set can be considered as a fuzzy multiset then some of the results in this section can be considered as a generalization for those in [26] that are related to fuzzy ideals of near rings.

Definition 4.
[10] Let (R, +, ·) be a near ring. A fuzzy multiset A (with fuzzy count function CM A ) over R is a fuzzy multi-subnear ring of R if for all x, y ∈ R, the following conditions hold. 1.

Definition 5.
[10] Let (R, +, ·) be a near ring. A fuzzy multiset A (with fuzzy count function CM A ) over R is a fuzzy multi-ideal of R if for all x, y ∈ R, the following conditions hold.
Proposition 1. [10] Let (R, +, ·) be a near ring with zero element 0 ∈ R and A be a fuzzy multi-ideal of R. Then Remark 1. Let (R, +, ·) be a near ring with zero element 0 ∈ R and A be a fuzzy multiset of R with CM A (x) = CM A (0) for all x ∈ R. Then A is a fuzzy multi-ideal of R and it is called the constant fuzzy multi-ideal.
Next, we deal with some operations on fuzzy multi-subnear rings (multi-ideals) of near rings such as intersection, union, and product.

Proposition 2.
[10] Let (R, +, ·) be a near ring and A, B be fuzzy multi-subnear rings of R. Then A ∩ B is a fuzzy multi-subnear ring of R. Corollary 1. [10] Let (R, +, ·) be a near ring and A i be a fuzzy multi-subnear ring of R for i = 1, . . . , n. Then n i=1 A i is a fuzzy multi-subnear ring of R.

Proposition 3.
[10] Let (R, +, ·) be a near ring and A, B be fuzzy multi-ideals of R. Then A ∩ B is a fuzzy multi-ideal of R.

Corollary 2.
[10] Let (R, +, ·) be a near ring and A i be a fuzzy multi-ideal of R for i = 1, . . . , n. Then n i=1 A i is a fuzzy multi-ideal of R.

Proposition 4.
[10] Let R, S be near rings with fuzzy multisets A, B, respectively. If A, B are fuzzy multi-subnear rings (multi-ideals) of R, S then A × B is fuzzy multi-subnear rings (multi-ideal) of R × S, where CM A×B ((r, s)) = CM A (r) ∧ CM B (s) for all (r, s) ∈ R × S.

Proposition 5.
[10] Let R i be near rings with fuzzy multiset A i for i = 1, . . . , n. If A i is a fuzzy multi-subnear ring (multi-ideal) of Notation 1. Let (R, +, ·) be a near ring, A be a fuzzy multiset of R, and

Definition 6.
[10] Let (R, +, ·) be a near ring and A be a fuzzy multiset of H.

Proposition 6.
[10] Let (R, +, ·) be a near ring and A be a fuzzy multi-subnear ring (multi-ideal) of R. Then A is either the empty set or a subnear ring (ideal) of R.

Proposition 7.
[10] Let (R, +, ·) be a near ring with a fuzzy multi-ideal A. Then the fuzzy multiset of P n (R) defined as CM(a 0 + a 1 x + . . . + a n x) = CM A (a 0 ) is a fuzzy multi-ideal of P n (R).
Notation 2. Let (R, +, ·) be a near ring, A be a fuzzy multiset of R and . . , t k ) and (t 1 , . . . , t k ) CM A (x) then we say that CM A (x) and (t 1 , . . . , t k ) are not comparable. Notation 3. Let (R, +, ·) be a near ring, A a fuzzy multiset of R with fuzzy count function CM, and t = (t 1 , . . . , t k ) where t i ∈ [0, 1] for i = 1, . . . , k and t 1 ≥ t 2 ≥ . . . ≥ t k . Then CM t = {x ∈ R : CM(x) ≥ t}. Theorem 1. [10] Let (R, +, ·) be a near ring, A a fuzzy multiset of R with fuzzy count function CM and t = (t 1 , . . . , t k ) where t i ∈ [0, 1] for i = 1, . . . , k and t 1 ≥ t 2 ≥ . . . ≥ t k . Then A is a fuzzy multi-subnear ring of R if and only if CM t is either the empty set or a subnear ring of R.

Theorem 2.
[10] Let (R, +, ·) be a near ring, A a fuzzy multiset of R with fuzzy count function CM and t = (t 1 , . . . , t k ) where t i ∈ [0, 1] for i = 1, . . . , k and t 1 ≥ t 2 ≥ . . . ≥ t k . Then A is a fuzzy multi-ideal of R if and only if CM t is either the empty set or an ideal of R.

Corollary 3.
[10] Let (R, +, ·) be a near ring. If every subnear ring of R is an ideal of R then every fuzzy multi-subnear ring of R is a fuzzy multi-ideal of R.

Corollary 4.
[10] Let (R, +, ·) be a near ring. Then R has at least one fuzzy multi-ideal beside the constant fuzzy multi-ideal. Definition 7. Let (R, +, ·) be a near ring, A and B be fuzzy multi-subnear rings (ideals) of R with fuzzy count functions CM A and CM B , respectively. If for all x, y ∈ R:

Anti-Fuzzy Multi-Ideals of Near Rings
This section defines the complement of a fuzzy multiset and discusses some of its properties. Moreover, we introduce anti-fuzzy multi-subnear rings (multi-ideals) of near rings and prove some results related to the new defined concepts. Definition 8. Let (R, +, ·) be a near ring. A fuzzy multiset A (with count function CM A ) over R is an anti-fuzzy multi-subnear ring of R if for all x, y ∈ R, the following conditions hold.
Definition 9. Let (R, +, ·) be a near ring. A fuzzy multiset A (with count function CM A ) over R is an anti-fuzzy multi-ideal of R if for all x, y ∈ R, the following conditions hold.
Proposition 9. Let (R, +, ·) be a near ring with zero element 0 ∈ R and A be an anti-fuzzy multi-ideal of R. Then Proof. The proof is straightforward.
Definition 10. Let R be a non-empty set. Let A be a fuzzy multiset of R. The complement of A will be denoted A and it is a fuzzy multiset defined as: For all x ∈ R,
if s = s and A ⊆ B then B ⊆ A ; 2.
if A = B then A = B . Proposition 12. Let R be a non-empty set, A, B fuzzy multisets of R, s = max{k ∈ N : Without loss of generality, let s ≥ s . Having (3) Without loss of generality, let s ≥ s . Having   Next, we deal with some operations on anti-fuzzy multi-subnear rings (anti-fuzzy multi-ideals) of near rings. Proposition 13. Let (R, +, ·) be a near ring and A, B be anti-fuzzy multi-subnear rings (antifuzzy multi-ideals) of R. Then A ∪ B is an anti fuzzy multi-subnear ring (anti-fuzzy multi-ideal) of R.
Proof. The proof is similar to that of Proposition 2 and Proposition 3.

Corollary 5.
Let (R, +, ·) be a near ring and A i be an anti-fuzzy multi-subnear ring (multi-ideal) of R for i = 1, . . . , n. Then ∪ n i=1 A i is an anti-fuzzy multi-subnear ring (multi-ideal) of R.
Proof. The proof follows by using induction and Proposition 13.

Remark 5.
Let A, B be anti-fuzzy multi-ideals of a near ring R. Then A ∩ B may not be an anti-fuzzy multi-ideal of R.
We illustrate Remark 5 by the following example.
Example 4. Let (Z, +, ·) be the near ring of integers under standard addition "+" and with "·" defined by x · y = y for all x, y ∈ Z. Let A, B be the anti-fuzzy multi-ideals of Z given by: Proof. The proof is straightforward.

Theorem 3. Let (R, +, ·) be a near ring and A be a fuzzy multiset of R. Then A is a fuzzy multisubnear ring (multi-ideal) of R if and only if A is an anti-fuzzy multi-subnear ring (multi-ideal) of R.
Proof. Let A be a fuzzy multi-ideal of R and x, y ∈ R. We need to prove that conditions of Definition 9 are satisfied for A .
Having A a fuzzy multi-ideal of R implies that CM A (x · y) ≥ CM A (y). The latter implies that Conversely, let A be an anti-fuzzy multi-ideal of R and x, y ∈ R. We need to prove that conditions of Definition 5 are satisfied for A.
. Having A an anti-fuzzy multi-ideal of R implies that CM A (x + y − x) ≤ CM A (y). The latter implies that CM A (x · y) ≥ 1 − CM A (y) = CM A (y).  is an anti-fuzzy multi-ideal of R.   Proof. The proof is similar to that of Theorems 1 and 2.
Proof. Let t = (t 1 , . . . , t k ) and q = (t 1 , . . . , t k , t k ) where t i ∈ (0, 1] for i = 1, . . . , k and define the fuzzy multiset A of R as follows: otherwise. It is clear that t < q and I = CM t . We still need to prove that CM is an anti-fuzzy multi-ideal of R. Using Theorem 4, it suffices to show that CM α = ∅ is an ideal of R for all α = (a 1 , . . . , a s ) with a i ∈ [0, 1], a 1 = 0, and a 1 ≥ . . . ≥ a s for i = 1, . . . , s. One can easily see that if (0 ≤ α < t) or (α and t are not comparable).
Thus, CM α is either the empty set or an ideal of R. In what follows, when we say that a near ring has a certain number of anti-fuzzy multi-ideals we mean that it has a certain number of non-equivalent fuzzy multi-ideals. Corollary 8. Let (R, +, ·) be a near ring. Then R has at least one anti-fuzzy multi-ideal beside the constant anti-fuzzy multi-ideal.
Proof. Let (R, +, ·) be a near ring. Then R has at least two ideals: R and {0}. With {0} as an ideal of R and using Proposition 15, we get that {0} = CM t for some t = (t 1 , . . . , t k ). One can define the anti-fuzzy multi-ideal corresponding to {0} as: where q > t.
Corollary 9. Let (R, +, ·) be a simple near ring. Then R has only two non-equivalent anti-fuzzy multi-ideals.

Example 7.
Let p be a prime natural number and (Z p , +, ·) be the near ring of integers modulo p under standard addition "+" modulo p and "·" defined by x · y = y for all x, y ∈ Z p . Since Z p is a simple near ring, it follows by means of Corollary 9 that it has only two non-equivalent anti-fuzzy multi-ideals.

Conclusions
This paper found a new link between algebraic structures and fuzzy multisets by introducing anti-fuzzy multi-ideals of near rings and studying their properties. The various basic operations, definitions and theorems related to anti-fuzzy multi-ideals of near rings have been discussed. The results in this paper can be considered as a generalization of the results known for anti-fuzzy ideals of near rings. Moreover, our results are considered as a generalization for anti-fuzzy ideals of rings. This is because every ring is a near ring.
The aim of this paper was to highlight the connection between fuzzy multisets and algebraic structures from an anti-fuzzification point of view. It is well known that the concept of fuzzy multiset is well established in dealing with many real life problems. So, the algebraic structure defined concerning them in this paper would help to approach these problems with a different perspective. The benefit of the paper is the link found between algebraic structures and fuzzy multisets by introducing anti-fuzzy multi-ideals of near rings and studying their properties.