# Fuzzy Multi-Hypergroups

^{1}

Department of Mathematics and Physics, University of Defence in Brno, Kounicova 65, 662 10 Brno-střed, Czech Republic

^{2}

Department of Mathematics, Lebanese International University, Beqaa Valley 1803, Lebanon

^{3}

Department of Mathematics, Yazd University, Yazd 89139, Iran

^{*}

Author to whom correspondence should be addressed.

Received: 27 January 2020 / Revised: 6 February 2020 / Accepted: 12 February 2020 / Published: 14 February 2020

(This article belongs to the Special Issue Hypercompositional Algebra and Applications)

A fuzzy multiset is a generalization of a fuzzy set. This paper aims to combine the innovative notion of fuzzy multisets and hypergroups. In particular, we use fuzzy multisets to introduce the concept of fuzzy multi-hypergroups as a generalization of fuzzy hypergroups. Different operations on fuzzy multi-hypergroups are defined and discussed and some results known for fuzzy hypergroups are generalized to fuzzy multi-hypergroups.

*Keywords:*hypergroup; multiset; fuzzy multiset; fuzzy multi-hypergroup

## 1. Introduction

In 1934, Frederic Marty [1] defined the concept of a hypergroup as a natural generalization of a group. It is well known that the composition of two elements in a group is an element, whereas the composition of two elements in a hypergroup is a non-empty set. The law characterizing such a structure is called the multi-valued operation, or hyperoperation and the theory of the algebraic structures endowed with at least one multi-valued operation is known as the Hyperstructure Theory. Marty’s motivation to introduce hypergroups is that the quotient of a group modulo of any subgroup (not necessarily normal) is a hypergroup. Significant progress in the theory of hyperstructures has been made since the 1970s, when its research area was enlarged and different hyperstructures were introduced (e.g., hyperrings, hypermodules, hyperlattices, hyperfields, etc.). Many types of hyperstructures have been used in different contexts, such as automata theory, topology, cryptography and code theory, geometry, graphs and hypergraphs, analysis of the convex systems, finite groups’ character theory, theory of fuzzy and rough sets, probability theory, ethnology, and economy [2]. An overview of the most important works and results in the field of hyperstructures up to 1993 is given in the book by Corsini [3], this book was followed in 1994 by the book by Vougiouklis [4]. An overview regarding the applications of hyperstructure theory is given in the book by Corsini and Leoreanu [5]. The book by Davvaz and Leoreanu-Fotea [6] deals with the hyperring theory and applications. A more recent book [7] gives an introduction into fuzzy algebraic hyperstructures.

A set is a well-defined collection of distinct objects, i.e., every element in a set occurs only once. A generalization of the notion of set was introduced by Yager [8]. He introduced the bag (multiset) structure as a set-like object in which repeated elements are significant. He discussed operations on multisets, such as intersection and union, and he showed the usefulness of the new defined structure in relational databases. These new structures have many applications in mathematics and computer science [9]. For example, the prime factorization of a positive integer is a multiset in which its elements are primes (e.g., 90 has the multiset $\{2,3,3,5\}$). Moreover, the eigenvalues of a matrix (e.g., the $5\times 5$ lower triangular matrix $\left({a}_{ij}\right)$ with ${a}_{11}={a}_{22}=-5$, ${a}_{33}=1$, ${a}_{44}={a}_{55}=0$ has the multiset $\{-5,-5,1,0,0\}$) and roots of a polynomial (e.g., the polynomial ${(x+2)}^{2}(x-1){x}^{3}$ over the field of complex numbers has the multiset $\{-2,-2,1,0,0,0\}$) can be considered as multisets.

As an extension of the classical notion of sets, Zadeh [10] introduced a concept similar to that of a set but whose elements have degrees of membership and he called it fuzzy set. In classical sets, the membership function can take only two values: 0 and 1. It takes 0 if the element belongs to the set, and 1 if the element does not belong to the set. In fuzzy sets, there is a gradual assessment of the membership of elements in a set which is assigned a number between 0 and 1 (both included). Several applications for fuzzy sets appear in real life. We refer to the papers [11,12,13]. Yager, in [8], generalized the fuzzy set by introducing the concept of fuzzy multiset (fuzzy bag) and he discussed a calculus for them in [14]. An element of a fuzzy multiset can occur more than once with possibly the same or different membership values. If every element of a fuzzy multiset can occur at most once, we go back to fuzzy sets [15].

In [16], Onasanya and Hoskova-Mayerova defined multi-fuzzy groups and in [17,18], the authors defined fuzzy multi-polygroups and fuzzy multi-${H}_{v}$-ideals and studied their properties. Moreover, Davvaz in [19] discussed various properties of fuzzy hypergroups. Our paper generalizes the work in [16,17,19] to combine hypergroups and fuzzy multisets. More precisely, it is concerned with fuzzy multi-hypergroups and constructed as follows: After the Introduction, Section 2 presents some preliminary definitions and results related to fuzzy multisets and hypergroups that are used throughout the paper. Section 3 introduces, for the first time, fuzzy multi-hypergroups as a generalization of fuzzy hypergroups and studies its properties. Finally, Section 4 defines some operations (e.g., intersection, selection, product, etc.) on fuzzy multi-hypergroups and discusses them.

## 2. Preliminaries

In this section, we present some basic definitions and results related to both fuzzy multisets and hypergroups [20,21] that are used throughout the paper.

#### 2.1. Fuzzy Multisets

A multiset is a collection of objects that can be repeated. Yager in his paper [8] introduced, under the name bag, a structure similar to a set in which repeated elements are allowed. He studied some operations on bags, such as intersection, union, and addition. Moreover, he introduced the operation of selecting elements from a bag based upon their membership in a set. Furthermore, he suggested a definition for fuzzy multisets (fuzzy bags). A multiset (bag) M is characterized by a count function ${C}_{M}:X\to \mathbb{N}$, where $\mathbb{N}$ is the set of natural numbers.

In a multiset, and unlike a set, the multiple occurrences for each of its elements is allowed and it is called multiplicity. For example, the multiset $\{\alpha ,\beta \}$ contains two elements $\alpha $ and $\beta $, each having multiplicity 1, whereas the multiset $\{\alpha ,\beta ,\beta \}$ contains two elements $\alpha $ having multiplicity 1 and $\beta $ having multiplicity 2. The two multisets $\{\alpha ,\beta ,\beta \}$ and $\{\alpha ,\beta \}$ are not equal although they are considered equal as sets.

**Definition**

**1**

Assume $X=\{{a}_{1},\dots ,{a}_{k}\}$. For a multiset M on X with count function ${C}_{M}$, the following two equivalent expressions are used:
and
Here, ${x}_{i}$ has multiplicity ${n}_{i}$ for all $i=1,\dots ,k$, or equivalently, ${C}_{M}\left({x}_{i}\right)={n}_{i}$ for all $i=1,\dots ,k$.

$$M=\{{a}_{1}/{n}_{1},\dots ,{a}_{k}/{n}_{k}\}$$

$$M=\{\underset{{n}_{1}}{\underbrace{{a}_{1},\dots ,{a}_{1}}},\dots ,\underset{{n}_{k}}{\underbrace{{a}_{k},\dots ,{a}_{k}}}\}.$$

One potential useful application for the theory of multisets lies in the field of relational databases [8].

**Example**

**1.**

Consider a class of eight students and a relation of students over the scheme (student name, grade) given as follows:

$R=${(Sam, 90), (Nader, 85), (Mady, 90), (Tala, 60), (Joe, 70), (Ziad, 95), (Lune, 85), (Bella, 60)}. Assume we are interested in finding the grades of students in this class. We can take the projection of R on grades and get:
The set $Pro{j}_{grade}$ does not give the set of grades of all students in the class but it gives the set of different grades of the students. If we need the set of grades of all students in the class then we need to consider the following multiset M:
Or equivalently, we can say that M is a multiset with count function ${C}_{M}$ defined as follows: ${C}_{M}\left(60\right)={C}_{M}\left(85\right)={C}_{M}\left(90\right)=2$ and ${C}_{M}\left(70\right)={C}_{M}\left(95\right)=1$. The notation used here for the multiset M is the same as that used by Yager in his pioneering paper [8] about multisets.

$$Pro{j}_{grade}=\{60,70,85,90,95\}.$$

$$M=\{60,60,70,85,85,90,90,95\}=\{60/2,70/1,85/2,90/2,95/1\}.$$

**Definition**

**2**

([23])

**.**Let X be a non-empty set. A fuzzy multiset A drawn from X is represented by a function $C{M}_{A}:X\to Q$, where Q is the set of all multisets drawn from the unit interval $[0,1]$.In the above definition, the value $C{M}_{A}\left(x\right)$ is a multiset drawn from $[0,1]$. For each $x\in X$, the membership sequence is defined as the decreasingly ordered sequence of elements in $C{M}_{A}\left(x\right)$ and it is denoted by:
Fuzzy sets introduced by Zadeh [10] can be considered as a special case of fuzzy multisets by setting $p=1$ so that $C{M}_{A}\left(x\right)={\mu}_{A}^{1}\left(x\right)$.

$$\{{\mu}_{A}^{1}\left(x\right),{\mu}_{A}^{2}\left(x\right),\dots ,{\mu}_{A}^{p}\left(x\right)\}:{\mu}_{A}^{1}\left(x\right)\ge {\mu}_{A}^{2}\left(x\right)\ge \dots \ge {\mu}_{A}^{p}\left(x\right).$$

**Example**

**2.**

Let $X=\{0,1,2,3\}$. Then $A=\{(0.5,0.5,0.3,0.1,0.1)/1,(0.65,0.2,0.2,0.2)/3\}$ is a fuzzy multiset of X with fuzzy count function $C{M}_{A}$. Or equivalently, we can write it as:

$$C{M}_{A}\left(0\right)=C{M}_{A}\left(2\right)=0,C{M}_{A}\left(1\right)=(0.5,0.5,0.3,0.1,0.1),C{M}_{A}\left(3\right)=(0.65,0.2,0.2,0.2).$$

Let $A,B$ be fuzzy multisets of X with fuzzy count functions $C{M}_{A},C{M}_{B}$ respectively. Then $L(x;A)=max\{j:{\mu}_{A}^{j}\left(x\right)\ne 0\}$ and $L\left(x\right)=L(x;A,B)=max\{L(x;A),L(x;B)\}$. When we define an operation between two fuzzy multisets, the length of their membership sequences should be set as equal. In case two membership sequences have different lengths then the shorter sequence is extended with zeros. As an illustration, we consider the following example.

**Example**

**3.**

Let $X=\{0,1,2,3\}$ and define the fuzzy multisets $A,B$ of X as follows:
In order to define any operations on $A,B$, we can rewrite $A,B$ as follows:

$$A=\{(0.4,0.2)/0,(0.5,0.3,0.1)/1,(0.65,0.2,0.2,0.2)/3\},$$

$$B=\{(0.5,0.3,0.1,0.1)/1,(0.5,0.1)/2,(0.65,0.2,0.2)/3\}.$$

$$A=\{(0.4,0.2)/0,(0.5,0.3,0.1,0)/1,(0,0)/2,(0.65,0.2,0.2,0.2)/3\},$$

$$B=\{(0,0)/0,(0.5,0.3,0.1,0.1)/1,(0.5,0.1)/2,(0.65,0.2,0.2,0)/3\}.$$

**Definition**

**3**

- 1.
- $A\subseteq B$ if and only if $C{M}_{A}\left(x\right)\le C{M}_{B}\left(x\right)$ for all $x\in X$. i.e., ${\mu}_{A}^{j}\left(x\right)\le {\mu}_{B}^{j}\left(x\right)$, $j=1,\dots ,L\left(x\right)$ for all $x\in X$,
- 2.
- $A=B$ if and only if $C{M}_{A}\left(x\right)=C{M}_{B}\left(x\right)$ for all $x\in X$. i.e., ${\mu}_{A}^{j}\left(x\right)={\mu}_{B}^{j}\left(x\right)$, $j=1,\dots ,L\left(x\right)$ for all $x\in X$,
- 3.
- $A\cap B$ is defined by ${\mu}_{A\cap B}^{j}\left(x\right)={\mu}_{A}^{j}\left(x\right)\wedge {\mu}_{B}^{j}\left(x\right)$, $j=1,\dots ,L\left(x\right)$ for all $x\in X$,
- 4.
- $A\cup B$ is defined by ${\mu}_{A\cap B}^{j}\left(x\right)={\mu}_{A}^{j}\left(x\right)\vee {\mu}_{B}^{j}\left(x\right)$, $j=1,\dots ,L\left(x\right)$ for all $x\in X$.

**Example**

**4.**

Let $X=\{0,1,2,3\}$ and define the fuzzy multisets $A,B,C$ of X as follows:
Then it is clear that:

$$A=\{(0.5,0.3,0.1,0.1)/1,(0.65,0.2,0.2,0.2)/3\},$$

$$B=\{(0.5,0.3,0.1,0.1)/1,(0.5,0.1)/2,(0.65,0.2,0.2,0.2)/3\},$$

$$C=\{(0.5,0.3)/0,(0.5,0.1)/2,(0.35,0.3,0.1)/3\}.$$

- 1.
- $A\subseteq B$ and $A\ne B$,
- 2.
- $A\cap C=\{(0.35,0.2,0.1)/3\}$, and
- 3.
- $A\cup C=\{(0.5,0.3)/0,(0.5,0.3,0.1,0.1)/1,(0.5,0.1)/2,(0.65,0.3,0.2,0.2)/3\}$.

**Definition**

**4**

([25])

**.**Let $X,Y$ be non-empty sets, $f:X\to Y$ be a mapping, and $A,B$ be fuzzy multisets of $X,Y$ respectively. Then- 1.
- The image of A under f is denoted by $f\left(A\right)$ with fuzzy count function $C{M}_{f\left(A\right)}$ defined as follows: For all $y\in Y$,$$C{M}_{f\left(A\right)}\left(y\right)=\left\{\begin{array}{ll}\underset{f\left(x\right)=y}{\bigvee}C{M}_{A}\left(x\right)& \mathit{if}\phantom{\rule{4.pt}{0ex}}{f}^{-1}\left(y\right)\ne \varnothing \\ 0& \mathit{otherwise}.\end{array}\right.$$
- 2.
- The inverse image of B under f is denoted by ${f}^{-1}\left(B\right)$ with fuzzy count function $C{M}_{{f}^{-1}\left(B\right)}$ defined as: $C{M}_{{f}^{-1}\left(B\right)}\left(x\right)=C{M}_{B}\left(f\left(x\right)\right)$ for all $x\in X$.

#### 2.2. Hypergroups

Let H be a non-empty set and ${\mathcal{P}}^{*}\left(H\right)$ be the family of all non-empty subsets of H. Then, a mapping $\circ :H\times H\to {\mathcal{P}}^{*}\left(H\right)$ is called a binary hyperoperation on H and $(H,\circ )$ is called a hypergroupoid.

In the above definition, if A and B are two non-empty subsets of H and $x\in H$, then we define:
A hypergroupoid $(H,\circ )$ is called a semihypergroup if “∘" is associative, i.e., if $x\circ (y\circ z)=(x\circ y)\circ z$ for all $x,y,z\in H$ and is called a quasihypergroup if the reproduction axiom is satisfied, i.e., if $x\circ H=H=H\circ x$ for all $x\in H$. The couple $(H,\circ )$ is called a hypergroup if it is a semihypergroup and a quasihypergroup. A hypergroup $(H,\circ )$ is called commutative if $x\circ y=y\circ x$ for all $x,y\in H$. A subset S of a hypergroup $(H,\circ )$ is called a subhypergroup of H if $(S,\circ )$ is a hypergroup. To prove that S is a subhypergroup of H, it suffices to show that the reproduction axiom is satisfied for S.

$$A\circ B=\bigcup _{\begin{array}{c}\genfrac{}{}{0pt}{}{a\in A}{b\in B}\end{array}}a\circ b,\phantom{\rule{4pt}{0ex}}x\circ A=\{x\}\circ A\mathrm{and}A\circ x=A\circ \{x\}.$$

**Example**

**5.**

In the finite hypergroup, we can represent the hyperoperation by the Cayley square table in the same way as for the finite group. The only difference is that various places in the table may contain several elements instead of a single element, i.e.,

is a hypergroup.

* | e | a | b |

e | $\{e\}$ | $\{a,b\}$ | $\{a,b\}$ |

a | $\{a\}$ | $\{e,b\}$ | $\{e,b\}$ |

b | $\{b\}$ | $\{e,a\}$ | $\{e,a\}$ |

**Definition**

**5**

([17,26])

**.**Let $({H}_{1},{\circ}_{1})$ and $({H}_{2},{\circ}_{2})$ be hypergroups and $f:{H}_{1}\to {H}_{2}$ be a mapping. Then f is:- 1.
- a homomorphism if $f\left(x{\circ}_{1}y\right)\subseteq f\left(x\right){\circ}_{2}f\left(y\right)$ for all $x,y\in {H}_{1}$;
- 2.
- a strong homomorphism if $f\left(x{\circ}_{1}y\right)=f\left(x\right){\circ}_{2}f\left(y\right)$ for all $x,y\in {H}_{1}$;
- 3.
- an isomorphism if f is a bijective strong homomorphism.

**Example**

**6.**

Let H be any non-empty set and define ∘ on H as follows:
Then $(H,\circ )$ is a hypergroup known as total hypergroup.

$$x\circ y=H\phantom{\rule{4.pt}{0ex}}\mathit{for}\phantom{\rule{4.pt}{0ex}}\mathit{all}\phantom{\rule{4.pt}{0ex}}x,y\in H.$$

**Example**

**7.**

Let H be any non-empty set and define ∘ on H as follows:
Then $(H,\circ )$ is a hypergroup known as biset hypergroup.

$$x\circ y=\{x,y\}\phantom{\rule{4.pt}{0ex}}\mathit{for}\phantom{\rule{4.pt}{0ex}}\mathit{all}\phantom{\rule{4.pt}{0ex}}x,y\in H.$$

**Example**

**8.**

Let $\mathbb{Z}$ be the set of integers and define ★ on $\mathbb{Z}$ as follows: For all $x,y\in \mathbb{Z}$,
Then $(\mathbb{Z},\u2605)$ is a commutative hypergroup.

$$x\u2605y=\left\{\begin{array}{c}2\mathbb{Z}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathit{if}\phantom{\rule{4.pt}{0ex}}x,y\phantom{\rule{4.pt}{0ex}}\mathit{have}\phantom{\rule{4.pt}{0ex}}\mathit{same}\phantom{\rule{4.pt}{0ex}}\mathit{parity};\hfill \\ 2\mathbb{Z}+1\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\mathit{otherwise}.\hfill \end{array}\right.$$

## 3. Construction of Fuzzy Multi-Hypergroups

Inspired by the definition of the multi-fuzzy group [25] and the fuzzy multi-polygroup [17], we introduce the concept of the fuzzy multi-hypergroup. Further, we investigate their properties. It is well known that groups and polygroups [26] are considered as special cases of hypergroups. Hence, the results in this section can be considered as more general than that in [17,25].

**Definition**

**6**

([7])

**.**Let $(H,\circ )$ be a hypergroup and μ be a fuzzy subset of H. Then μ is called a fuzzy subhypergroup of H if for all $x,y\in H$, the following conditions hold.- 1.
- $\mu \left(x\right)\wedge \mu \left(y\right)\le {inf}_{z\in x\circ y}\mu \left(z\right)$;
- 2.
- for every $x,a\in H$ there exists $y\in H$ such that $x\in a\circ y$ and $\mu \left(x\right)\wedge \mu \left(a\right)\le \mu \left(y\right)$;
- 3.
- for every $x,a\in H$ there exists $z\in H$ such that $x\in z\circ a$ and $\mu \left(x\right)\wedge \mu \left(a\right)\le \mu \left(z\right)$.

**Definition**

**7.**

Let $(H,\circ )$ be a hypergroup. A fuzzy multiset A over H is a fuzzy multi-hypergroup of H if for all $x,y\in H$, the following conditions hold.

- 1.
- $C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)\le {inf}_{z\in x\circ y}C{M}_{A}\left(z\right)$ (or equivalently, $C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)\le C{M}_{A}\left(z\right)$ for all $z\in x\circ y$);
- 2.
- for every $x,a\in H$ there exists $y\in H$ such that $x\in a\circ y$ and $C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)\le C{M}_{A}\left(y\right)$;
- 3.
- for every $x,a\in H$ there exists $z\in H$ such that $x\in z\circ a$ and $C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)\le C{M}_{A}\left(z\right)$.

**Remark**

**1.**

It is clear, using Definitions 6 and 7, that if $(H,\circ )$ is a hypergroup and μ is a fuzzy subhypergroup of H then μ is a fuzzy multi-hypergroup of H. Hence, the results of fuzzy subhypergroups are considered a special case of our work.

**Remark**

**2.**

Let A be a fuzzy multiset over a commutative hypergroup $(H,\circ )$. Then conditions 2. and 3. of Definition 7 are equivalent. Hence, to show that A is a fuzzy multi-hypergroup of H, it suffices to show that either conditions 1. and 2. of Definition 7 are valid or conditions 1. and 3. of Definition 7 are valid.

We present different examples on fuzzy multi-hypergroups.

**Example**

**9.**

Let $(H,\circ )$ be the hypergroup defined by the following table:
It is clear that $A=\{(0.2,0.1)/a,(0.5,0.4,0.4)/b\}$ is a fuzzy multi-hypergroup of H.

$$\begin{array}{|ccc|}\hline \circ & a& b\\ a& H& a\\ b& a& b\\ \hline\end{array}$$

**Example**

**10.**

Let $({H}_{1},{\circ}_{1})$ be the hypergroup defined by the following table:
It is clear that $A=\{(0.2,0.1)/0,(0.2,0.1)/1,(0.5,0.4,0.4)/2\}$ is a fuzzy multi-hypergroup of ${H}_{1}$.

$$\begin{array}{|cccc|}\hline {\circ}_{1}& 0& 1& 2\\ 0& \{0,1\}& \{0,1\}& {H}_{1}\\ 1& \{0,1\}& \{0,1\}& {H}_{1}\\ 2& {H}_{1}& {H}_{1}& 2\\ \hline\end{array}$$

**Example**

**11.**

Let $(\mathbb{Z},\u2605)$ be the hypergroup defined in Example 8. It is clear that A, with the fuzzy count function $C{M}_{A}$, is a fuzzy multi-hypergroup of $\mathbb{Z}$. Where

$$C{M}_{A}\left(x\right)=\left\{\begin{array}{c}(0.7,0.5,0.5)\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\mathit{if}\phantom{\rule{4.pt}{0ex}}x\phantom{\rule{4.pt}{0ex}}\mathit{is}\phantom{\rule{4.pt}{0ex}}\mathit{an}\phantom{\rule{4.pt}{0ex}}\mathit{even}\phantom{\rule{4.pt}{0ex}}\mathit{integer};\hfill \\ (0.7,0.3,0.2)\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\mathit{otherwise}.\hfill \end{array}\right.$$

**Proposition**

**1.**

Let $(H,\circ )$ be a hypergroup and A be a fuzzy multi-hypergroup of H. Then the following assertions are true.

- 1.
- $C{M}_{A}\left(z\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge \dots \wedge C{M}_{A}\left({x}_{n}\right)$ for all $z\in {x}_{1}\circ \dots \circ {x}_{n}$ and $n\ge 2$;
- 2.
- $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)$ for all $z\in {x}^{n}$.

**Proof.**

- Proof of 1. By mathematical induction on the value of n, $C{M}_{A}\left(z\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge \dots \wedge C{M}_{A}\left({x}_{n}\right)$ for all $z\in {x}_{1}\circ \dots \circ {x}_{n}$ is true for $n=2$. Assume that $C{M}_{A}\left(z\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge \dots \wedge C{M}_{A}\left({x}_{n}\right)$ for all $z\in {x}_{1}\circ \dots \circ {x}_{n}$ and let ${z}^{\prime}\in {x}_{1}\circ \dots \circ {x}_{n}\circ {x}_{n+1}$. Then there exists $x\in {x}_{1}\circ \dots \circ {x}_{n}$ such that ${z}^{\prime}\in x\circ {x}_{n+1}$. Having A a fuzzy multi-hypergroup implies that $C{M}_{A}\left({z}^{\prime}\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left({x}_{n+1}\right)$. And using our assumption that $C{M}_{A}\left(x\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge \dots \wedge C{M}_{A}\left({x}_{n}\right)$ implies that our statement is true for $n+1$.
- Proof of 2. The proof follows from 1. by setting ${x}_{i}=x$ for all $i=1,\dots ,n$.

□

**Example**

**12.**

Let $(H,\circ )$ be any hypergroup and $a\in H$ be a fixed element. We define a fuzzy multiset A of H with fuzzy count function $C{M}_{A}$ as $C{M}_{A}\left(x\right)=C{M}_{A}\left(a\right)$ for all $x\in H$. Then A is a fuzzy multi-hypergroup of H (the constant fuzzy multi-hypergroup).

**Remark**

**3.**

Let $(H,\circ )$ be a hypergroup. Then we can define at least one fuzzy multi-hypergroup of H, which is mainly the one that is described in Example 12.

**Proposition**

**2.**

Let $(H,\circ )$ be the biset hypergroup and A be a fuzzy multiset of H. Then A is a fuzzy multi-hypergroup of H.

**Proof.**

Let A be a fuzzy multiset of H. Since $(H,\circ )$ is a commutative hypergroup, it suffices to show that conditions 1. and 2. of Definition 7 are satisfied. (See Remark 2). For condition 1., let $x,y\in H$ and $z\in x\circ y=\{x,y\}$. It is clear that $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)$. For condition 2., let $a,x\in H$. Then there exists $y=x\in H$ such that $x\in a\circ y$ and $C{M}_{A}\left(y\right)=C{M}_{A}\left(x\right)\ge C{M}_{A}\left(a\right)\wedge C{M}_{A}\left(x\right)$. Therefore, A is a fuzzy multi-hypergroup of H. □

**Proposition**

**3.**

Let $(H,\circ )$ be the total hypergroup and A be a fuzzy multiset of H. Then A is a fuzzy multi-hypergroup of H if and only if A is the fuzzy multiset described in Example 12.

**Proof.**

If A is the fuzzy multiset described in Example 12 then it is clear that A is a fuzzy multi-hypergroup of H. Let A be a fuzzy multi-hypergroup of H and $a\in H$. For all $x\in H$, we have $x\in a\circ a=H$ and $a\in x\circ x$. The latter and having A a fuzzy multi-hypergroup of H implies that $C{M}_{A}\left(x\right)\ge C{M}_{A}\left(a\right)$ and $C{M}_{A}\left(a\right)\ge C{M}_{A}\left(x\right)$. Thus, $C{M}_{A}\left(x\right)=C{M}_{A}\left(a\right)$ for all $x\in H$. □

**Notation**

**1.**

Let $(H,\circ )$ be a hypergroup, A be a fuzzy multiset of H and $C{M}_{A}\left(x\right)=({\mu}_{A}^{1}\left(x\right),{\mu}_{A}^{2}\left(x\right),\dots ,{\mu}_{A}^{p}\left(x\right))$. We say that $C{M}_{A}\left(x\right)>0$ if ${\mu}_{A}^{1}\left(x\right)>0$.

**Definition**

**8.**

Let $(H,\circ )$ be a hypergroup and A be a fuzzy multiset of H. Then ${A}_{\u2605}=\{x\in X:C{M}_{A}\left(x\right)>0\}$.

**Proposition**

**4.**

Let $(H,\circ )$ be a hypergroup and A be a fuzzy multi-hypergroup of H. Then ${A}_{\u2605}$ is either the empty set or a subhypergroup of H.

**Proof.**

Let $a\in {A}_{\u2605}\ne \varnothing $. We need to show that the reproduction axiom is satisfied for ${A}_{\u2605}$. We show that $a\circ {A}_{\u2605}={A}_{\u2605}$ and ${A}_{\u2605}\circ a={A}_{\u2605}$ is done similarly. For all $x\in {A}_{\u2605}$ and $z\in a\circ x$, we have $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(a\right)\wedge C{M}_{A}\left(x\right)>0$. The latter implies that $z\in {A}_{\u2605}$ and hence, ${A}_{\u2605}\circ a\subseteq {A}_{\u2605}$. Moreover, for all $x\in {A}_{\u2605}$, Condition 2. of Definition 7 implies that there exist $y\in H$ such that $x\in a\circ y$ and $C{M}_{A}\left(y\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)>0$. The latter implies that $y\in {A}_{\u2605}$ and $x\in a\circ {A}_{\u2605}$. Thus, ${A}_{\u2605}\subseteq a\circ {A}_{\u2605}$. □

**Definition**

**9.**

Let $(H,\circ )$ be a hypergroup and $A,B$ be fuzzy multisets of H. Then $A\circ B$ is defined by the following fuzzy count function.

$$C{M}_{A\circ B}\left(x\right)=\vee \{C{M}_{A}\left(y\right)\wedge C{M}_{B}\left(z\right):x\in y\circ z\}.$$

**Theorem**

**1.**

Let $(H,\circ )$ be a hypergroup and A be a fuzzy multiset of H. If A is a fuzzy multi-hypergroup of H then $A\circ A=A$.

**Proof.**

Let $z\in H$. Then $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)$ for all $z\in x\circ y$. The latter implies that $C{M}_{A}\left(z\right)\ge \vee \{C{M}_{A}\left(x\right)\wedge C{M}_{B}\left(y\right):z\in x\circ y\}\ge C{M}_{A\circ A}\left(z\right)$. Thus, $A\circ A\subseteq A$. Having $(H,\circ )$ a hypergroup and A a fuzzy multi-hypergroup of H implies that for every $x\in H$ there exist $y\in H$ such that $x\in x\circ y$ and $C{M}_{A}\left(y\right)\ge C{M}_{A}\left(x\right)$. Moreover, we have $C{M}_{A\circ A}\left(x\right)=\vee \{C{M}_{A}\left(y\right)\wedge C{M}_{B}\left(z\right):x\in y\circ z\}\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)=C{M}_{A}\left(x\right)$. Thus, $A\subseteq A\circ A$. □

**Notation**

**2.**

Let $(H,\circ )$ be a hypergroup, A be a fuzzy multiset of H and $C{M}_{A}\left(x\right)=({\mu}_{A}^{1}\left(x\right),{\mu}_{A}^{2}\left(x\right),\dots ,{\mu}_{A}^{p}\left(x\right))$. We say that $C{M}_{A}\left(x\right)\ge ({t}_{1},\dots ,{t}_{k})$ if $p\ge k$ and ${\mu}_{A}^{i}\left(x\right)\ge {t}_{i}$ for all $i=1,\dots ,k$. If $C{M}_{A}\left(x\right)\ngeqq ({t}_{1},\dots ,{t}_{k})$ and $({t}_{1},\dots ,{t}_{k})\ngeqq C{M}_{A}\left(x\right)$ then we say that $C{M}_{A}\left(x\right)$ and $({t}_{1},\dots ,{t}_{k})$ are not comparable.

In [19], Davvaz studied fuzzy hypergroups and proved some important results about them related to level subhypergroups of fuzzy hypergroups. In what follows, we do suitable changes to extend the results of [19] to fuzzy multi-hypergroups.

**Theorem**

**2.**

Let $(H,\circ )$ be a hypergroup, A a fuzzy multiset of H with fuzzy count function $CM$ and $t=({t}_{1},\dots ,{t}_{k})$ where ${t}_{i}\in [0,1]$ for $i=1,\dots ,k$ and ${t}_{1}\ge {t}_{2}\ge \dots \ge {t}_{k}$. Then A is a fuzzy multi-hypergroup of H if and only if $C{M}_{t}$ is either the empty set or a subhypergroup of H.

**Proof.**

Let $C{M}_{t}$ be a subhypergroup of H and $x,y\in H$. By setting ${t}_{0}=CM\left(x\right)\wedge CM\left(y\right)$, we get that $x,y\in C{M}_{{t}_{0}}$. Having $C{M}_{{t}_{0}}$ a subhypergroup of H implies that for all $z\in x\circ y$, $CM\left(z\right)\ge {t}_{0}=CM\left(x\right)\wedge CM\left(y\right)$. We prove condition 2. of Definition 7 and condition 3. is done similarly. Let $a,x\in H$ and ${t}_{0}=CM\left(x\right)\wedge CM\left(a\right)$. Then $a,x\in C{M}_{{t}_{0}}$. Having $C{M}_{{t}_{0}}$ a subhypergroup of H implies that $a\circ C{M}_{{t}_{0}}=C{M}_{{t}_{0}}$. The latter implies that there exist $y\in C{M}_{{t}_{0}}$ such that $x\in a\circ y$. Thus, $CM\left(y\right)\ge {t}_{0}=CM\left(x\right)\wedge CM\left(y\right)$.

Conversely, let A be a fuzzy multi-hypergroup of H and $C{M}_{t}\ne \varnothing $. We need to show that $C{M}_{t}=a\circ C{M}_{t}=C{M}_{t}\circ a$ for all $a\in C{M}_{t}$. We prove that $C{M}_{t}=a\circ C{M}_{t}$ and $C{M}_{t}=C{M}_{t}\circ a$ is done similarly. Let $x\in C{M}_{t}$. Then $CM\left(z\right)\ge CM\left(x\right)\wedge CM\left(a\right)\ge t$ for all $z\in a\circ x$. The latter implies that $z\in C{M}_{t}$. Thus, $a\circ C{M}_{t}\subseteq C{M}_{t}$. Let $x\in C{M}_{t}$. Since A is a fuzzy multi-hypergroup of H, it follows that there exist $y\in H$ such that $x\in a\circ y$ and $CM\left(y\right)\ge CM\left(x\right)\wedge CM\left(a\right)\ge t$. The latter implies that $y\in C{M}_{t}$ and hence, $C{M}_{t}\subseteq a\circ C{M}_{t}$. □

**Proposition**

**5.**

Let $(H,\circ )$ be a hypergroup, A a fuzzy multiset of H with fuzzy count function $CM$ and $t=({t}_{1},\dots ,{t}_{k}),s=({s}_{1},\dots ,{s}_{n})$ where ${t}_{i},{s}_{i}\in [0,1]$ for $i=1,\dots ,max(k,n)$ and ${t}_{1}\ge {t}_{2}\ge \dots \ge {t}_{k}$, ${s}_{1}\ge {s}_{2}\ge \dots \ge {s}_{n}$. If $t<s$ and $C{M}_{t}=C{M}_{s}$ then there exist no $x\in H$ such that $t\le CM\left(x\right)<s$.

**Proof.**

Let $C{M}_{t}=C{M}_{s}$ and suppose that there exist $x\in H$ such that $t\le CM\left(x\right)<s$. Then $x\in C{M}_{t}$ and $x\notin C{M}_{s}$ which contradicts the given. □

**Proposition**

**6.**

Let $(H,\circ )$ be a hypergroup and S be a subhypergroup of H. Then $S=C{M}_{t}$ for some $t=({t}_{1},\dots ,{t}_{k})$ where ${t}_{i}\in [0,1]$ for $i=1,\dots ,k$, ${t}_{1}\ne 0$, and ${t}_{1}\ge {t}_{2}\ge \dots \ge {t}_{k}$.

**Proof.**

Let $t=({t}_{1},\dots ,{t}_{k})$ where ${t}_{i}\in [0,1]$ for $i=1,\dots ,k$ and define the fuzzy multiset A of H as follows:
It is clear that $S=C{M}_{t}$. We still need to prove that $CM$ is a fuzzy multi-hypergroup of H. Using Theorem 2, it suffices to show that $C{M}_{\alpha}\ne \varnothing $ is a subhypergroup of H for all $\alpha =({a}_{1},\dots ,{a}_{s})$ with ${a}_{i}\in [0,1]$ for $i=1,\dots ,s$. One can easily see that
Thus, $C{M}_{\alpha}$ is either the empty set or a subhypergroup of H. □

$$CM\left(x\right)=\left\{\begin{array}{c}t\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{if}\phantom{\rule{4.pt}{0ex}}x\in S\hfill \\ 0\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{otherwise}.\hfill \end{array}\right.$$

$$C{M}_{\alpha}=\left\{\begin{array}{c}H\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{if}\phantom{\rule{4.pt}{0ex}}\alpha =0\hfill \\ S\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{if}\phantom{\rule{4.pt}{0ex}}0<\alpha \le t\hfill \\ \varnothing \phantom{\rule{4.pt}{0ex}}\phantom{\rule{2.em}{0ex}}\mathrm{if}\phantom{\rule{4.pt}{0ex}}\left(\alpha >t\right)\phantom{\rule{4.pt}{0ex}}\mathrm{or}\phantom{\rule{4.pt}{0ex}}(\alpha \phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}t\phantom{\rule{4.pt}{0ex}}\mathrm{are}\phantom{\rule{4.pt}{0ex}}\mathrm{not}\phantom{\rule{4.pt}{0ex}}\mathrm{comparable}).\hfill \end{array}\right.$$

## 4. Operations on Fuzzy Multi-Hypergroups

In this section, we define some operations on fuzzy multi-hypergroups, study them, and present some examples.

**Proposition**

**7.**

Let $(H,\circ )$ be a hypergroup and $A,B$ be fuzzy multisets of H. If A and B are fuzzy multi-hypergroups of H and one of them is the constant fuzzy multi-hypergroup then $A\cap B$ is a fuzzy multi-hypergroup of H.

**Proof.**

We prove conditions of Definition 7 are satisfied for $A\cap B$. (1) Let $x,y\in H$ and $z\in x\circ y$. Then $C{M}_{A\cap B}\left(z\right)=C{M}_{A}\left(z\right)\wedge C{M}_{B}\left(z\right)$. Having $A,B$ fuzzy multi-hypergroups of H implies that $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)$ and $C{M}_{B}\left(z\right)\ge C{M}_{B}\left(x\right)\wedge C{M}_{B}\left(y\right)$. The latter implies that $C{M}_{A\cap B}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)\wedge C{M}_{B}\left(x\right)\wedge C{M}_{B}\left(y\right)=C{M}_{A\cap B}\left(x\right)\wedge C{M}_{A\cap B}\left(y\right)$. (2) Without loss of generality, let B be the constant fuzzy multiset of H with $C{M}_{B}\left(x\right)=\alpha $ for all $x\in H$. Let $a,x\in H$. Then there exist $y\in H$ such that $x\in a\circ y$ and $C{M}_{A}\left(y\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)$. The latter implies that $C{M}_{A\cap B}\left(y\right)=C{M}_{A}\left(y\right)\wedge \alpha \ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)\wedge \alpha =(C{M}_{A}\left(x\right)\wedge \alpha )\wedge (C{M}_{A}\left(a\right)\wedge \alpha )=C{M}_{A\cap B}\left(x\right)\wedge C{M}_{A\cap B}\left(a\right)$. (3) is done in a similar way to (2). □

**Example**

**13.**

Let $(H,\circ )$ be the hypergroup defined in Example 9 and $A,B$ be fuzzy multisets of H defined as:
Since A is a fuzzy multi-hypergroup of H and B is a constant fuzzy multi-hypergroup of H, it follows that $A\cap B=\{(0.2,0.05)/a,(0.5,0.05,0.05)/b\}$ is a fuzzy multi-hypergroup of H.

$$A=\{(0.2,0.1)/a,(0.5,0.4,0.4)/b\},B=\{(0.7,0.05,0.05)/a,(0.7,0.05,0.05)/b\}.$$

**Definition**

**10.**

Let H be any set and $A,B$ be fuzzy multisets of H with fuzzy count functions $C{M}_{A},C{M}_{B}$ respectively. Then the fuzzy multiset $A\uplus B$ is given as follows: For all $x\in H$,

$$CM\left(x\right)=\frac{C{M}_{A}\left(x\right)+C{M}_{B}\left(x\right)}{2}.$$

**Example**

**14.**

Let $H=\{a,b\}$, $A,B$ be fuzzy multisets of H given as :
Then $A\uplus B=\{(0.7,0.4,0.4,0.2)/a,(0.2,0.1,0.05)/b\}$.

$$A=\{(0.8,0.4,0.4)/a,(0.1,0.1)/b\},B=\{(0.6,0.4,0.4,0.4)/a,(0.3,0.1,0.1)/b\}.$$

**Proposition**

**8.**

Let $(H,\circ )$ be a hypergroup and $A,B$ be fuzzy multisets of H. If A and B are fuzzy multi-hypergroups of H and A or B is constant then $A\uplus B$ is a fuzzy multi-hypergroup of H.

**Proof.**

Without loss of generality, let B be the constant fuzzy multiset of H with $C{M}_{B}\left(x\right)=\alpha $ for all $x\in H$. We prove that the conditions of Definition 7 are satisfied for $A\uplus B$. (1) Let $x,y\in H$ and $z\in x\circ y$. Having $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)$ implies that $\frac{C{M}_{A}\left(z\right)+\alpha}{2}\ge \frac{(C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right))+\alpha}{2}$. We get that $CM\left(z\right)=\frac{C{M}_{A}\left(x\right)+\alpha}{2}\ge \frac{C{M}_{A}\left(x\right)+\alpha}{2}\wedge \frac{C{M}_{A}\left(y\right))+\alpha}{2}=CM\left(x\right)\wedge CM\left(y\right)$. (2) Let $a,x\in H$. Then there exist $y\in H$ such that $x\in a\circ y$ and $C{M}_{A}\left(y\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)$. The latter implies that $CM\left(y\right)=\frac{C{M}_{A}\left(y\right)+\alpha}{2}\ge \frac{(C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right))+\alpha}{2}=\frac{C{M}_{A}\left(x\right)+\alpha}{2}\wedge \frac{C{M}_{A}\left(a\right))+\alpha}{2}=CM\left(x\right)\wedge CM\left(a\right)$. (3) is done in a similar way to (2). □

**Example**

**15.**

In Example 13, $A\uplus B=\{(0.45,0.075,0.025)/a,(0.6,0.225,0.225)/b$ is a fuzzy multi-hypergroup of H.

**Definition**

**11.**

Let H be a non-empty set and A be a fuzzy multiset of H. We define ${A}^{\prime}$, the complement of A, to be the fuzzy multiset defined as: For all $x\in H$,

$$C{M}_{{A}^{\prime}}\left(x\right)=(1-{\mu}_{A}^{p}\left(x\right),\dots ,1-{\mu}_{A}^{1}\left(x\right))\phantom{\rule{4.pt}{0ex}}\mathit{when}\phantom{\rule{4.pt}{0ex}}C{M}_{A}\left(x\right)=({\mu}_{A}^{1}\left(x\right),{\mu}_{A}^{2}\left(x\right),\dots ,{\mu}_{A}^{p}\left(x\right)).$$

**Remark**

**4.**

Let $(H,\circ )$ be a hypergroup and A be the constant fuzzy multi-hypergroup of H defiend in Example 12. Then, ${A}^{\prime}$ is also a fuzzy multi-hypergroup of H.

We present an example of a (non-constant) fuzzy multiset A of H where A and ${A}^{\prime}$ are both fuzzy multi-hypergroups of H.

**Example**

**16.**

Let $H=\{a,b\}$, $(H,\circ )$ be the biset hypergroup on H and A be a fuzzy multiset of H defined as: $A=\{(0.4,0.3,0.3)/a,(0.2,0.1)/b\}$. Proposition 2 asserts that A and ${A}^{\prime}=\{(0.7,0.7,0.6)/a,(0.9,0.8)/b\}$ are fuzzy multi-hypergroups of H.

**Remark**

**5.**

Let $(H,\circ )$ be a hypergroup and A be a fuzzy multi-hypergroup of H. Then, ${A}^{\prime}$ is not necessary a fuzzy multi-hypergroup of H.

The following example is an illustration for Remark 5.

**Example**

**17.**

Let $(H,\circ )$ be the hypergroup defined in Example 9 and A be the fuzzy multi-hypergroup of H defined as: $A=\{(0.2,0.1)/a,(0.5,0.4,0.4)/b\}$. Then ${A}^{\prime}=\{(0.9,0.8)/a,(0.6,0.6,0.5)/b\}$ is not a fuzzy multi-hypergroup of H as $b\in a\circ a$ and $C{M}_{{A}^{\prime}}\left(b\right)\ngeqq C{M}_{{A}^{\prime}}\left(a\right)$.

**Definition**

**12.**

Let X be any set, $S\subseteq X$ and A a fuzzy multiset of X with fuzzy count function $C{M}_{A}$. Then the selection operation ⊗ is defined by the fuzzy multiset $A\otimes S$ with the fuzzy count function $CM$ as follows:

$$CM\left(x\right)=\left\{\begin{array}{c}C{M}_{A}\left(x\right)\phantom{\rule{1.em}{0ex}}\mathit{if}\phantom{\rule{4.pt}{0ex}}x\in S\hfill \\ 0\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathit{otherwise}.\hfill \end{array}\right.$$

**Proposition**

**9.**

Let $(H,\circ )$ be a hypergroup and S be a subhypergroup of H. If A is a fuzzy multi-hypergroup of S then $A\otimes S$ is a fuzzy multi-hypergroup of H.

**Proof.**

Let $z\in x\circ y$. If $x\notin S$ or $y\notin S$ then $CM\left(z\right)\ge 0=CM\left(x\right)\wedge CM\left(y\right)$. If $x,y\in S$ then $z\in x\circ y$. Having A a fuzzy multi-hypergroup of S implies that $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)$. The latter implies that $CM\left(z\right)=C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(y\right)=CM\left(x\right)\wedge CM\left(y\right)$. We prove condition 2. of Definition 7 and condition 3 is done similarly. Let $a,x\in H$. If $a\notin S$ or $x\notin S$ then for all $y\in H$ with $x\in a\circ y$, $CM\left(y\right)\ge 0=CM\left(x\right)\wedge CM\left(a\right)$. If $a,x\in S$ then there exist $y\in S$ such that $x\in a\circ y$ and $C{M}_{A}\left(y\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)$. The latter implies that $CM\left(y\right)\ge CM\left(x\right)\wedge CM\left(a\right)$. □

**Definition**

**13.**

Let X be any set, $S\subseteq X$ and A a fuzzy multiset of X with fuzzy count function $C{M}_{A}$. Then, the selection operation ⊙ is defined by the fuzzy multiset $A\otimes S$ with the fuzzy count function $CM$.

$$CM\left(x\right)=\left\{\begin{array}{c}C{M}_{A}\left(x\right)\phantom{\rule{1.em}{0ex}}\mathit{if}\phantom{\rule{4.pt}{0ex}}x\notin S\hfill \\ 0\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathit{otherwise}.\hfill \end{array}\right.$$

**Proposition**

**10.**

Let $(H,\circ )$ be a hypergroup and $S\subset H$ with $H-S$ a subhypergroup of H. If A is a fuzzy multi-hypergroup of $H-S$ then $A\odot S$ is a fuzzy multi-hypergroup of H.

**Proof.**

$A\odot S$ is given by the fuzzy count function $CM$ where
One can easily see that $A\odot S=A\otimes (H-S)$. Proposition 9 completes the proof. □

$$CM\left(x\right)=\left\{\begin{array}{c}0\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{if}\phantom{\rule{4.pt}{0ex}}x\in S\hfill \\ C{M}_{A}\left(x\right)\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{otherwise}.\hfill \end{array}\right.=\left\{\begin{array}{c}0\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{if}\phantom{\rule{4.pt}{0ex}}x\notin H-S\hfill \\ C{M}_{A}\left(x\right)\phantom{\rule{4.pt}{0ex}}\phantom{\rule{1.em}{0ex}}\mathrm{otherwise}.\hfill \end{array}\right.$$

**Proposition**

**11.**

$({H}_{1},{\circ}_{1}),({H}_{2},{\circ}_{2})$ be hypergroups with fuzzy multisets $A,B$ respectively. If A and B are fuzzy multi-hypergroups of ${H}_{1}$ and ${H}_{2}$ respectively then $A\times B$ is a fuzzy multi-hypergroup of the productional hypergrpup $({H}_{1}\times {H}_{2},\circ )$, where for all $(x,y)\in {H}_{1}\times {H}_{2}$, $C{M}_{A\times B}(x,y)=C{M}_{A}\left(x\right)\wedge C{M}_{B}\left(y\right)$.

**Proof.**

Let $({x}_{3},{y}_{3})\in ({x}_{1},{y}_{1})\circ ({x}_{2},{y}_{2})$. Then ${x}_{3}\in {x}_{1}\circ {x}_{2}$ and ${y}_{3}\in {y}_{1}\circ {y}_{2}$. Having $A,B$ fuzzy multi-hypergroups of ${H}_{1},{H}_{2}$ respectively implies that $C{M}_{A}\left({x}_{3}\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge C{M}_{A}\left({x}_{2}\right)$ and $C{M}_{B}\left({y}_{3}\right)\ge C{M}_{B}\left({y}_{1}\right)\wedge C{M}_{B}\left({y}_{2}\right)$. We get now
The latter implies that $C{M}_{A\times B}({x}_{3},{y}_{3})\ge C{M}_{A\times B}({x}_{1},{y}_{1})\wedge C{M}_{A\times B}({x}_{2},{y}_{2})$. We now prove condition 2. of Definition 7 and condition 3. is done similarly. Let $(x,y),(a,b)\in {H}_{1}\times {H}_{2}$. Having $x,a\in {H}_{1}$, $y,b\in {H}_{2}$ implies that there exist $z\in {H}_{1},w\in {H}_{2}$ such that $x\in a\circ z,y\in b\circ w$ and $C{M}_{A}\left(z\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right),C{M}_{B}\left(w\right)\ge C{M}_{B}\left(y\right)\wedge C{M}_{B}\left(b\right)$. We get that $C{M}_{A\times B}(z,w)=C{M}_{A}\left(z\right)\wedge C{M}_{B}\left(w\right)\ge C{M}_{A}\left(x\right)\wedge C{M}_{A}\left(a\right)\wedge C{M}_{B}\left(w\right)\ge C{M}_{B}\left(y\right)\wedge C{M}_{B}\left(b\right)=C{M}_{A\times B}(x,y)\wedge C{M}_{A\times B}(a,b)$. The latter implies that there exist $(z,w)\in {H}_{1},{H}_{2}$ such that $(x,y)\in (a,b)\circ (z,w)$ and $C{M}_{A\times B}(z,w)\ge C{M}_{A\times B}(x,y)\wedge C{M}_{A\times B}(a,b)$. □

$$C{M}_{A\times B}({x}_{3},{y}_{3})=C{M}_{A}\left({x}_{3}\right)\wedge C{M}_{B}\left({y}_{3}\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge C{M}_{A}\left({x}_{2}\right)\wedge C{M}_{B}\left({y}_{1}\right)\wedge C{M}_{B}\left({y}_{2}\right).$$

**Corollary**

**1.**

$({H}_{i},{\circ}_{i})$ be a hypergroup with fuzzy multiset ${A}_{i}$ for $i=1,\dots ,n$. If ${A}_{i}$ is a fuzzy multi-hypergroup of ${H}_{i}$ then ${A}_{1}\times \dots \times {A}_{n}$ is a fuzzy multi-hypergroup of the productional hypergroup $({H}_{1}\times \dots \times {H}_{n},\circ )$, where for all $({x}_{1},\dots ,{x}_{n})\in {H}_{1}\times \dots \times {H}_{n}$, $C{M}_{{A}_{1}\times \dots \times {A}_{n}}({x}_{1},\dots ,{x}_{n})=C{M}_{{A}_{1}}\left({x}_{1}\right)\wedge \dots \wedge C{M}_{{A}_{n}}\left({x}_{n}\right)$.

**Proof.**

The proof follows by using mathematical induction and Proposition 11. □

**Example**

**18.**

Let $(H,\circ )$ be the hypergroup defined in Example 9 and $(J,\u2605)$ be the biset hypergroup on the set $\{c,d\}$. Then, the productional hypergroup $(H\times J,\u2022)$ is given by the following table:
Since $A=\{(0.2,0.1)/a,(0.5,0.4,0.4)/b\}$ is a fuzzy multi-hypergroup of H and $B=\{(0.3,0.05)/c,(0.2,0.2,0.1)/d\}$ is a fuzzy multi-hypergroup of J. Then
is a fuzzy multi-hypergroup of $H\times J$.

$$\begin{array}{|ccccc|}\hline \u2022& (a,c)& (a,d)& (b,c)& (b,d)\\ (a,c)& (a,c)& \{(a,c),(a,d)\}& \{(a,c),(b,c)\}& H\times J\\ (a,d)& \{(a,c),(a,d)\}& (a,d)& H\times J& \{(a,d),(b,d)\}\\ (b,c)& \{(a,c),(b,c)& H\times J& (b,c)& \{(b,c),(b,d)\}\\ (b,d)& H\times J& \{(a,d),(b,d)\}& \{(b,c),(b,d)\}& (b,d)\\ \hline\end{array}$$

$$A\times B=\{(0.2,0.05)/(a,c),(0.2,0.1)/(a,d),(0.3,0.05)/(b,c),(0.2,0.2,0.1)/(b,d)\}$$

The following propositions (Propositions 12 and 13) deal with the strong homomorphic image and pre-image of a fuzzy multi-hypergroup.

**Proposition**

**12.**

Let $({H}_{1},{\circ}_{1}),({H}_{2},{\circ}_{2})$ be hypergroups, $A,B$ be fuzzy multisets of ${H}_{1},{H}_{2}$ respectively and $f:{H}_{1}\to {H}_{2}$ be a strong homomorphism. If A is a fuzzy multi-hypergroup of ${H}_{1}$ then $f\left(A\right)$ is a fuzzy multi-hypergroup of ${H}_{2}$,

**Proof.**

Let ${y}_{1},{y}_{2}\in {H}_{2}$ and ${y}_{3}\in {y}_{1}{\circ}_{2}{y}_{2}$. If ${f}^{-1}\left({y}_{1}\right)=\varnothing $ or ${f}^{-1}\left({y}_{2}\right)=\varnothing $ then $C{M}_{f\left(A\right)}\left({y}_{1}\right)=0$ or $C{M}_{f\left(A\right)}\left({y}_{2}\right)=0$. We get that $C{M}_{f\left(A\right)}\left({y}_{3}\right)\ge 0=C{M}_{f\left(A\right)}\left({y}_{1}\right)\wedge C{M}_{f\left(A\right)}\left({y}_{2}\right)$. If ${f}^{-1}\left({y}_{1}\right)\ne \varnothing $ and ${f}^{-1}\left({y}_{2}\right)\ne \varnothing $ then there exist ${x}_{1},{x}_{2}\in {H}_{1}$ such that $C{M}_{A}\left({x}_{1}\right)={\bigvee}_{f\left(x\right)={y}_{1}}C{M}_{A}\left(x\right)$ and $C{M}_{A}\left({x}_{2}\right)={\bigvee}_{f\left(x\right)={y}_{2}}C{M}_{A}\left(x\right)$. Having f a homomorphism implies that ${y}_{3}\in f\left({x}_{1}\right){\circ}_{2}f\left({x}_{2}\right)=f\left({x}_{1}{\circ}_{1}{x}_{2}\right)$. The latter implies that there exists ${x}_{3}\in {x}_{1}\circ {x}_{2}$ such that ${y}_{3}=f\left({x}_{3}\right)$. Since A is a fuzzy multi-hypergroup of ${H}_{1}$, it follows that $C{M}_{f\left(A\right)}\left({y}_{3}\right)\ge C{M}_{A}\left({x}_{3}\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge C{M}_{A}\left({x}_{2}\right)=C{M}_{f\left(A\right)}\left({y}_{1}\right)\wedge C{M}_{f\left(A\right)}\left({y}_{2}\right)$. We prove now condition 2. of Definition 7 and condition 3. is done similarly. Let $y,b\in {H}_{2}$. If ${f}^{-1}\left(y\right)=\varnothing $ or ${f}^{-1}\left(b\right)=\varnothing $ then for all $z\in {H}_{2}$ such that $y\in b{\circ}_{2}z$, $C{M}_{f\left(A\right)}\left(z\right)\ge 0=C{M}_{f\left(A\right)}\left(y\right)\wedge C{M}_{f\left(A\right)}\left(b\right)$. If ${f}^{-1}\left(y\right)\ne \varnothing $ and ${f}^{-1}\left(b\right)\ne \varnothing $ then there exist ${x}_{1},a\in {H}_{1}$ such that $C{M}_{A}\left({x}_{1}\right)={\bigvee}_{f\left(x\right)=y}C{M}_{A}\left(x\right)$ and $C{M}_{A}\left(a\right)={\bigvee}_{f\left(x\right)=b}C{M}_{A}\left(x\right)$. Having A a fuzzy multi-hypergroup of ${H}_{1}$ implies that there exist ${x}_{2}\in H$ with ${x}_{1}\in {x}_{2}{\circ}_{1}a$ and $C{M}_{A}\left({x}_{2}\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge C{M}_{A}\left(a\right)$. Since f is a strong homomorphism, it follows that $y=f\left({x}_{1}\right)\in f\left({x}_{2}\right){\circ}_{2}b$ and $C{M}_{f\left(A\right)}\left(f\left({x}_{2}\right)\right)\ge C{M}_{A}\left({x}_{2}\right)\ge C{M}_{A}\left({x}_{1}\right)\wedge C{M}_{A}\left(a\right)=C{M}_{f\left(A\right)}\left(y\right)\wedge C{M}_{f\left(A\right)}\left(b\right)$. □

We can use Proposition 12 to prove Proposition 9.

**Corollary**

**2.**

Let $(H,\circ )$ be a hypergroup and S be a subhypergroup of H. If A is a fuzzy multi-hypergroup of S then $A\otimes S$ is a fuzzy multi-hypergroup of H.

**Proof.**

Let $f:S\to H$ be the inclusion map defined by $f\left(x\right)=x$ for all $x\in S$. One can easily see that $C{M}_{f\left(A\right)}$ is the fuzzy count function of $A\otimes S$. □

**Proposition**

**13.**

Let $({H}_{1},{\circ}_{1}),({H}_{2},{\circ}_{2})$ be hypergroups, $A,B$ be fuzzy multisets of ${H}_{1},{H}_{2}$ respectively and $f:{H}_{1}\to {H}_{2}$ be a surjective strong homomorphism. If B is a fuzzy multi-hypergroup of ${H}_{2}$ then ${f}^{-1}\left(B\right)$ is a fuzzy multi-hypergroup of ${H}_{1}$.

**Proof.**

Let ${x}_{1},{x}_{2}\in {H}_{1}$ and ${x}_{3}\in {x}_{1}{\circ}_{1}{x}_{2}$. Then $C{M}_{{f}^{-1}\left(B\right)}\left({x}_{3}\right)=C{M}_{B}\left(f\left({x}_{3}\right)\right)$. Having $f\left({x}_{3}\right)\in f\left({x}_{1}{\circ}_{1}{x}_{2}\right)=f\left({x}_{1}\right)\circ f\left({x}_{2}\right)$ implies that $C{M}_{{f}^{-1}\left(B\right)}\left({x}_{3}\right)=C{M}_{B}\left(f\left({x}_{3}\right)\right)\ge C{M}_{B}\left(f\left({x}_{1}\right)\right)\wedge C{M}_{B}\left(f\left({x}_{2}\right)\right)=C{M}_{{f}^{-1}\left(B\right)}\left({x}_{1}\right)\wedge C{M}_{{f}^{-1}\left(B\right)}\left({x}_{2}\right)$. We prove now condition 2. of Definition 7 and condition 3. is done similarly. Let $x,a\in {H}_{1}$. Having $y=f\left(x\right),b=f\left(a\right)\in {H}_{2}$ and B a fuzzy multi-hypergroup of ${H}_{2}$ implies that there exist $z\in {H}_{2}$ such that $y\in b{\circ}_{2}z$ and $C{M}_{B}\left(z\right)\ge C{M}_{B}\left(y\right)\wedge C{M}_{B}\left(b\right)$. Since f is a surjective strong homomorphism, it follows that there exist $w\in {H}_{1}$ such that $f\left(w\right)=z$ and $x\in z{\circ}_{1}w$. We get now that $C{M}_{{f}^{-1}\left(B\right)}\left(z\right)=C{M}_{B}\left(z\right)\ge C{M}_{B}\left(y\right)\wedge C{M}_{B}\left(b\right)=C{M}_{{f}^{-1}\left(B\right)}\left(x\right)\wedge C{M}_{{f}^{-1}\left(B\right)}\left(w\right)$. □

## 5. Conclusions

In this paper, a new link between algebraic hyperstructures and fuzzy multisets was initiated and as a result fuzzy multi-hypergroups were defined and studied. In particular, different operations on fuzzy multi-hypergroups were defined and studied and several results and examples were obtained. The foundations that we made through this paper can be used to get an insight into other types of hyperstructures. As a result, different real life problems involving the concept of the fuzzy multiset can be dealt with from a different perspective.

## Author Contributions

Conceptualization, S.H.-M., M.A.T. and B.D.; methodology, S.H.-M., M.A.T. and B.D.; investigation, S.H.-M., M.A.T. and B.D.; resources, S.H.-M., M.A.T. and B.D.; writing—original draft, S.H.-M., M.A.T. and B.D.; writing—review and editing, S.H.-M., M.A.T. and B.D.; project administration, S.H.-M.; funding acquisition, S.H.-M. All authors have read and agreed to the published version of the manuscript.

## Funding

The APC was funded by by the Ministry of Defence in the Czech Republic.

## Acknowledgments

The work presented in this paper was supported within the project for development of basic and applied research developed in the long term by the departments of theoretical and applied bases FMT supported by the Ministry of Defence in the Czech Republic.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Marty, F. Sur une generalization de la notion de group. In Proceedings of the 8th Congress on Mathmatics Scandenaves, Stockholm, Sweden, 14–18 August 1934; pp. 45–49. [Google Scholar]
- Antampoufis, N.; Hoskova-Mayerova, S. A Brief Survey on the two Different Approaches of Fundamental Equivalence Relations on Hyperstructures. Ratio Mathematica
**2017**, 33, 47–60. [Google Scholar] [CrossRef] - Corsini, P. Prolegomena of Hypergroup Theory, 2nd ed.; Udine: Tricesimo, Italy, 1993. [Google Scholar]
- Vougiouklis, T. Hyperstructures and Their Representations; Hadronic Press Monographs: Palm Harbor, FL, USA, 1994. [Google Scholar]
- Corsini, P.; Leoreanu, V. Applications of Hyperstructures Theory; Advances in Mathematics, Kluwer Academic Publisher: Dordrecht, The Netherlands, 2003. [Google Scholar]
- Davvaz, B.; Leoreanu-Fotea, V. Hyperring Theory and Applications; International Academic Press: Cambridge, MA, USA, 2007. [Google Scholar]
- Davvaz, B.; Cristea, I. Fuzzy Algebraic Hyperstructures; Studies in Fuzziness and Soft Computing 321; Springer International Publishing: Cham, Switzerland, 2015. [Google Scholar] [CrossRef]
- Yager, R. On the theory of bags. Int. J. Gen. Syst.
**1987**, 13, 23–37. [Google Scholar] [CrossRef] - Onasanya, B.O.; Hoskova-Mayerova, S. Results on Functions on Dedekind Multisets. Symmetry
**2019**, 11, 1125. [Google Scholar] [CrossRef] - Zadeh, L.A. Fuzzy sets. Inform. Control
**1965**, 8, 338–353. [Google Scholar] [CrossRef] - Mei, Y.; Peng, J.; Yang, J. Convex aggregation operators and their applications to multi-hesitant fuzzy multi-criteria decision-making. Information
**2018**, 9, 207. [Google Scholar] [CrossRef] - Joshi, D.K.; Beg, I.; Kumar, S. Hesitant probabilistic fuzzy linguistic sets with applications in multi-criteria group decision making problems. Mathematics
**2018**, 6, 47. [Google Scholar] [CrossRef] - Yaqoob, N.; Gulistan, M.; Kadry, S.; Wahab, H.A. Complex intuitionistic fuzzy graphs with application in cellular network provider companies. Mathematics
**2019**, 7, 35. [Google Scholar] [CrossRef] - Miyamoto, S. Fuzzy Multisets and Their Generalizations, Multiset Processing; Springer: Berlin, Germany, 2001; pp. 225–235. [Google Scholar]
- Onasanya, B.O.; Hoskova-Mayerova, S. Some Topological and Algebraic Properties of alpha-level Subsets’ Topology of a Fuzzy Subset. Analele St. Univ. Ovidius Constanta
**2018**, 26, 213–227. [Google Scholar] [CrossRef] - Onasanya, B.O.; Hoskova-Mayerova, S. Multi-fuzzy group induced by multisets. Ital. J. Pure Appl. Math.
**2019**, 41, 597–604. [Google Scholar] - Al Tahan, M.; Hoskova-Mayerova, S.; Davvaz, B. Fuzzy multi-polygroups. J. Intell. Fuzzy Syst.
**2019**. [Google Scholar] [CrossRef] - Al Tahan, M.; Hoskova-Mayerova, S.; Davvaz, B. Some results on (generalized) fuzzy multi-H
_{v}-ideals of H_{v}-rings. Symmetry**2019**, 11, 1376. [Google Scholar] [CrossRef] - Davvaz, B. Fuzzy H
_{v}-groups. Fuzzy Sets Syst.**1999**, 101, 191–195. [Google Scholar] [CrossRef] - Cristea, I. Several aspects on the hypergroups associated with n-ary relations. Analele Stiint. Univ. Ovidius Constanta Ser. Mat.
**2009**, 17, 99–110. [Google Scholar] - Yaqoob, N.; Cristea, I.; Gulistan, M. Left almost polygroups. Ital. J. Pure Appl. Math.
**2018**, 39, 465–474. [Google Scholar] - Jena, S.P.; Ghosh, S.K.; Tripathi, B.K. On theory of bags and lists. Inform. Sci.
**2011**, 132, 241–254. [Google Scholar] [CrossRef] - Shinoj, T.K.; John, S.J. Intutionistic fuzzy multisets. Int. J. Eng. Sci. Innov. Technol. (IJESIT)
**2013**, 2, 1–24. [Google Scholar] - Syropoulos, A. Mathematics of Multisets, Multiset Processing; Springer: Berlin, Germany, 2001; pp. 347–358. [Google Scholar]
- Shinoj, T.K.; Baby, A.; John, S.J. On some algebraic structures of fuzzy multisets. Ann. Fuzzy Math. Inform.
**2015**, 9, 77–90. [Google Scholar] - Davvaz, B. Polygroup Theory and Related Systems; World Scientific Publishing Co. Pte. Ltd.: Hackensack, NJ, USA, 2013. [Google Scholar]
- Davvaz, B. Semihypergroup Theory; Elsevier/Academic Press: London, UK, 2016. [Google Scholar]
- Leoreanu-Fotea, V.; Rosenberg, I.; Davvaz, B.; Vougiouklis, T. A new class of n-ary hyperoperations. Eur. J. Comb.
**2015**, 44, 265–273. [Google Scholar] [CrossRef] - Cristea, I. Fuzzy Subhypergroups Degree. J. Mult. Valued Log. Soft Comput.
**2016**, 27, 75–88. [Google Scholar] - Cristea, I.; Hoskova, S. Fuzzy pseudotopological hypergroupoids. Iran. J. Fuzzy Syst.
**2009**, 6, 11–19. [Google Scholar] - Vougiouklis, T. On the hyperstructure theory. Southeast Asian Bull. Math.
**2016**, 40, 603–620. [Google Scholar] - De Salvo, M.; Fasino, D.; Freni, D.; Faro, G.L. On hypergroups with a β-class of finite height. Symmetry
**2020**, 12, 168. [Google Scholar] [CrossRef]

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).