Application Multi-Fuzzy Soft Sets in Hypermodules

Abstract

The goal of this paper is to introduce a novel soft hyperstructure called multi-fuzzy soft hyperstructure. We investigate the notion of multi-fuzzy soft hypermodules and some of their structural properties are discussed. We discuss the behavior image and inverse image of a multi-fuzzy soft set under the multi-fuzzy soft function. According to Zadeh’s extension principle, we prove that the image and inverse image of a multi-fuzzy soft hypermodules are further multi-fuzzy soft hypermodule.

1. Introduction

Algebraic hyperstructures based on hyperoperations were introduced by Marty [1] and studied by many scientists. There are several books on hyperstructure theory, see in [2,3,4,5]. In [2], many applications are mentioned [2]. For example, fuzzy and rough set theory, cryptography, codes, automata, probability, geometry, lattices, binary relations, graphs, and hypergraphs. Studying fuzzy hyperalgebraic structures is one of the important topics of fuzzy set theory. Fuzzy sets, defined by Zadeh [6], and hyperstructures, defined by Marty [1], have found wide application area both theoretically and practically. The relationship between fuzzy sets and algebraic hyperstructures has been considered by some researchers. We recommend to readers to see the works in [7,8,9,10,11,12]. In [8,9], Davvaz applied the notion of fuzzy sets to the theory of algebraic hyperstructures and defined fuzzy subhypergroup (resp. $H_v$-subgroup) of a hypergroup (resp. $H_v$-group), which is a generalization of the notion of Rosenfeld’s fuzzy subgroup of a group [10] and also defined fuzzy $H_v$-submodules. Different hypermodules, fuzzy hypermodules, and rough hypermodules have been studied [13,14,15,16,17,18,19].

Soft set theory introduced by Molodtsov [20] is an powerful mathematical tool for modeling vagueness. After Molodsov’s work, some different applications of soft sets were studied in [21,22]. Maji et al. [22] offered the definition of fuzzy soft set. They presented the first practical application of soft sets in decision making problems. The more generalized concept of the fuzzy soft set, which is a combination of fuzzy sets and soft sets, introduced and studied by these authors. Both soft set and fuzzy soft set theories have been applied to algebraic structures and hyperstructures by some authors, see in [23,24,25,26,27] for the relation between the generalization of crisp sets.

Recently, the theory of multi-fuzzy set has been introduced by Sebastian and Ramakrishnan [28]. Multi-fuzzy set theory uses ordered sequences of membership function and provides a new method to represent problems unexplained in other extensions of fuzzy set theory. In [29], Onasanya and Hoskova-Mayerova introduced fuzzy multi-groups excited by multisets. Then, fuzzy multi-polygroups and fuzzy multi-$H_v$-ideals, which are a generalization of fuzzy $H_v$-ideals, were studied in [30,31]. Yang et al. [32] proposed the concept of the multi-fuzzy soft set for its application to decision making, which is a more general fuzzy soft set.

The notion of multi-fuzzy soft sets provides a new method to represent some problems, which are difficult to explain in other extensions of fuzzy set theory. For example, in a two-dimensional image, the color of pixels cannot be characterized by a membership function of an ordinary fuzzy set, but it can be characterized by a three-dimensional multi-fuzzy soft sets. Figure 1 shows the relation between generalization of crisp sets. Lately, Akın [33] proposed the multi-fuzzy soft sets to the theory of groups and defined the multi-fuzzy soft group.

The goal of this paper is to assemble fuzzy soft hypermodules and soft hypermodules, from which we obtain a new sort of soft hypermodule named multi-fuzzy soft hypermodule. We first recall some basic definitions and results which are used to present the article in Section 2. In Section 3, the notion of multi-fuzzy soft hypermodule with its properties and structural characterization are discussed. In Section 4, we give the image and inverse image of a multi-fuzzy soft set under the multi-fuzzy soft function, and then define soft homomorphism between multi-fuzzy soft hypermodules. In Section 5, some conclusions are presented.

2. Preliminaries

Let H be a basic non-empty set. A hyperoperation on H is a mapping $\circ :H\times H\to {\mathcal{P}}^{*}\left(H\right)$, where ${\mathcal{P}}^{*}\left(H\right)$ is the set of all the non-empty subsets of H. If $x\in H$ and $A,B\in {\mathcal{P}}^{*}\left(H\right)$, then we denote $A\circ B$, $A\circ x$, and $x\circ B$ as follows: $A\circ B={\bigcup }_{a\in A,b\in B}a\circ b$, $A\circ x=A\circ \left\{x\right\}$ and $x\circ B=\left\{x\right\}\circ B$. $(H,\circ )$ is called a canonical hypergroup [5] if the following axioms hold:

(1)

$x\circ (y\circ z)=(x\circ y)\circ z$, for all $x,y,z\in H$;

(2)

$x\circ y=y\circ x$, for all $x,y,z\in H$;

(3)

There exists $e\in H$ such that $e\circ x=x$, for all $x\in H$;

(4)

for every $x\in H$ there exists a unique element $x^{\prime }\in H$ such that $e\in x\circ x^{\prime }$, ($x^{\prime }$ is called the adverse of x).

Definition 1

(Refs. [34,35,36]). The algebraic structure $(R,+,·)$ is called a hyperring (Krasner hyperring) if the following axioms hold: (1) $(R,+)$ is a canonical hypergroup; (we shall write 0 and $-x$ for e and $x^{\prime }$, respectively); (2) $(R,·)$ is a semigroup having zero as a bilaterally absorbing element; (3) The multiplication is distributive with respect to the hyperoperation +.

It is easy to see that he following elementary facts follow from the axioms: $-(-x)=x$ and $-(x+y)=-x-y$. Let A be a non-empty subset of a hyperring R. Then A is called a sub-hyperring of R if $(A,+,·)$ is itself a hyperring. A sub-hyperring A of R is called a normal if $x+A-x\subseteq A$ for all $x\in R$.

Definition 2

(Ref. [16]). Let M be a non-empty set. Then, M is called a hypermodule over a hyperring R (R-hypermodule) if $(M,+)$ is a canonical hypergroup and there exists a map $·:R\times M\to {\mathcal{P}}^{*}\left(M\right)$ by $(r,m)\mapsto rm$ such that for all $r_1,r_2\in R$ and $m_1,m_2\in M$, we have $r_1(m_1+m_2)=r_1{m}_1+r_2{m}_2$, $(r_1+r_2)m_1=r_1{m}_1+r_2{m}_1$, and $\left(r_1{r}_2\right)m_1=r_1\left(r_2{m}_1\right)$.

Let A be a non-empty subset of hypermodule M. Then, A is called a sub-hypermodule of M if A is itself a hypermodule. A sub-hypermodule A of M is called a normal if $x+A-x\subseteq A$ for all $x\in M$. From the definition, the following propositions are obtained. Let A be a normal sub-hypermodule of M. Then, $(A+x)+(A+y)=A+x+y$ for all $x,y\in M$ and $A+x=A+y$ for all $y\in A+x$. If A and B are sub-hypermodules of an R-hypermodule M with B normal in M, then $A\cap B$ is a normal sub-hypermodule of A and B is a normal sub-hypermodule of $A+B$. A mapping $f:M\to M^{\prime }$ is called a homomorphism if for all $a,b\in M$ and $r\in R$, $f(a+b)=f\left(a\right)+f\left(b\right),f\left(ra\right)=rf\left(a\right)$ and $f\left(0\right)=0$. Clearly, a homomorphism f is an isomorphism if f is both injective and surjective.

Definition 3

(Ref. [11]). Let μ be a fuzzy subset of a hypermodule M over a R. μ is called a fuzzy sub-hypermodule of M if

(1) 

$min\{\mu \left(x\right),\mu \left(y\right)\}\le \underset{\alpha \in x+y}{inf}\left\{\mu \left(\alpha \right)\right\}$ for all $x,y\in M$;

(2) 

$\mu \left(x\right)\le \mu (-x)$ for all $x\in M$;

(3) 

$\mu \left(x\right)\le \mu \left(rx\right)$ for all $r\in R$ and $x\in M$.

A fuzzy sub-hypermodule $\mu$ of M is called a normal if $\mu \left(y\right)\le {inf}_{\alpha \in x+y-x}\mu \left(\alpha \right)$ for all $x,y\in M$. Let $\mu$ be a fuzzy sub-hypermodule of M. It is clear that $\mu (-x)=\mu \left(x\right)$, $min\{\mu \left(x\right),\mu \left(y\right)\}\le {inf}_{z\in x-y}\left\{\mu \left(z\right)\right\}$, for all $x,y\in M$.

We first recall some basic definitions and results which are used to present the article [20,23,24,25,26,28,32]. Let U be an initial universe set and E be a set of parameters. $\mathcal{P}\left(U\right)$ denotes the power set of U and $A\subseteq E$.

Definition 4

(Ref. [20]). $(F,A)$ is said to be a soft set over U, where F is a set-valued function $F:A\to \mathcal{P}\left(U\right)$ can be defined as $F\left(x\right)=\{y\in U\mid (x,y)\in R\}$ for all $x\in A$ and R will refer to an arbitrary binary relation between an element of A and an element of U, that is, R is a subset of $A\times U$. Actually, a soft set over U is a parameterized family of subsets of the universe U.

Definition 5

(Refs. [22,24]). Let $FS\left(U\right)$ be all fuzzy subsets of U. Then, $(f,A)$ is said to be a fuzzy soft set over U, where f is a mapping given by $f:A\to FS\left(U\right)$. That is, for each $a\in A$, $f\left(a\right)=f_a:U\to [0,1]$ is a fuzzy set on U.

Definition 6

(Ref. [28]). A multi-fuzzy set $\tilde{A}$ in U is a set of ordered sequences

$\tilde{A}=\{u/({\mu }_1\left(u\right),{\mu }_2\left(u\right),\dots ,{\mu }_k\left(u\right)\}$, where ${\mu }_i\in FS\left(U\right)$$i=1,2,\dots ,k$ and k is a positive integer.

The function ${\mu }_{\tilde{A}}=(({\mu }_1\left(u\right),{\mu }_2\left(u\right),\dots ,{\mu }_k\left(u\right))$ is called the multi membership function of multi-fuzzy set $\tilde{A}$ denoted by $M{M}_{\tilde{A}}$, k is called a dimension of $\tilde{A}$. Denoted by $M^{k}FS\left(U\right)$, the set of all multi-fuzzy sets of dimension k in U.

Note: Zadeh’s fuzzy set is one-dimensional multi-fuzzy set and Atanassov’s intuotionistic fuzzy set is two-dimensional multi-fuzzy set with ${\mu }_1\left(u\right)+{\mu }_2\left(u\right)\le 1$

Example 1

(Ref. [28]). Assume a color image is approximated by an $mxn$ matrix of pixels. Let U be the set of all pixels of the color image. For any pixel $u\in U$, the membership values ${\mu }_r\left(u\right)$, ${\mu }_g\left(u\right)$, ${\mu }_b\left(u\right)$ are the normalized red value, green value and blue value of the pixel u, respectively. Therefore, the color image can be estimated by the collection of pixels with the multi-membership function $({\mu }_r\left(u\right),{\mu }_g\left(u\right),{\mu }_b\left(u\right))$ and can be represented as a multi-fuzzy set $\tilde{A}=\{u/({\mu }_r\left(u\right),{\mu }_g\left(u\right),{\mu }_b\left(u\right)\mid u\in U\}$. In a two-dimensional image, pixel color cannot be characterized by a membership function of an ordinary fuzzy set. However, pixel color can be qualified by a three-dimensional membership function $({\mu }_r\left(u\right),{\mu }_g\left(u\right),{\mu }_b\left(u\right))$. Actually, a multi-fuzzy set can be known as a more general fuzzy set using ordinary fuzzy sets as its building blocks.

Definition 7

(Ref. [28]). Let $\tilde{A}\in M^{k}FS\left(U\right)$. If $\tilde{A}=\{u/(0,0,\dots ,0):u\in U\}$, then $\tilde{A}$ is said to be the null multi-fuzzy set of dimension k, denoted by $\widetilde{{\mathsf{\Phi }}_k}$. If $\tilde{A}=\{u/(1,1,\dots ,1):u\in U\}$, then $\tilde{A}$ is said to be the absolute multi-fuzzy set of dimension k, denoted by $\widetilde{1_k}$.

Definition 8

(Ref. [28]). Let $\tilde{A}=\{u/({\mu }_1\left(u\right),{\mu }_2\left(u\right),\dots ,{\mu }_k\left(u\right)):u\in U\}$ and $\tilde{B}=\{u/({\nu }_1\left(u\right),{\nu }_2\left(u\right),\dots ,{\nu }_k\left(u\right)):u\in U\}$ be two multi-fuzzy sets of dimension k in U. We give the following relations and operations.

(1) 

$\tilde{A}⊑\tilde{B}$ if and only if $M{M}_{\tilde{A}}\le M{M}_{\tilde{B}}$, i.e., ${\mu }_i\left(u\right)\le {\nu }_i\left(u\right)$,$\forall u\in U$ and $1\le i\le k$.

(2) 

$\tilde{A}=\tilde{B}$ if and only if $M{M}_{\tilde{A}}=M{M}_{\tilde{B}}$, i.e., ${\mu }_i\left(u\right)={\nu }_i\left(u\right)$,$\forall u\in U$ and $1\le i\le k$.

(3) 

$\tilde{A}\bigsqcup \tilde{B}=\{u/({\mu }_1\left(u\right)\vee {\nu }_1\left(u\right),{\mu }_2\left(u\right)\vee {\nu }_2\left(u\right),\dots ,{\mu }_k\left(u\right)\vee {\nu }_k\left(u\right)):u\in U\}$. That is, $M{M}_{\tilde{A}\bigsqcup \tilde{B}}=M{M}_{\tilde{A}}\vee M{M}_{\tilde{B}}$.

(4) 

$\tilde{A}\sqcap \tilde{B}=\{u/({\mu }_1\left(u\right)\wedge {\nu }_1\left(u\right),{\mu }_2\left(u\right)\wedge {\nu }_2\left(u\right),\dots ,{\mu }_k\left(u\right)\wedge {\nu }_k\left(u\right)):u\in U\}$. That is, $M{M}_{\tilde{A}\sqcap \tilde{B}}=M{M}_{\tilde{A}}\wedge M{M}_{\tilde{B}}$.

(5) 

$\widetilde{A^c}=\{u/({\mu }_1^c\left(u\right),{\mu }_2^c\left(u\right),\dots ,{\mu }_k^c\left(u\right):u\in U\}$

Definition 9

(Ref. [32]). A pair $(\tilde{f},A)$ is called a multi-fuzzy soft set of dimension k over U, where $\tilde{f}$ is a function defined by $\tilde{f}:A\to M^{k}FS\left(U\right)$. That is, for each $a\in A$, $\tilde{f}\left(a\right)=M{M}_{\tilde{f}\left(a\right)}\in M^{k}FS\left(U\right)$. For $a\in A$, $\tilde{f}\left(a\right)$ may be considered a set of a-approximate elements of the multi-fuzzy soft set $(\tilde{f},A)$.

Definition 10

(Ref. [32]). Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft sets of dimension k over U where $A,B\subseteq E$. Then, $(\tilde{f},A)$ is said to be a multi-fuzzy soft subset of $(\tilde{g},B)$ if, $A\subseteq B$ and for each $a\in A$ $\tilde{f}\left(a\right)⊑\tilde{g}\left(a\right)$. In this situation, we write $(\tilde{f},A)\widetilde{⊑}(\tilde{g},B)$.

Definition 11

(Ref. [32]). Let $(\tilde{f},A)$ be a multi-fuzzy soft set of dimension k over U. Then, $(\tilde{f},A)$ is called a null multi-fuzzy soft set, denoted by $\widetilde{{\mathsf{\Phi }}_A^k}$ if $\tilde{f}\left(a\right)=\widetilde{{\mathsf{\Phi }}_k}$ for all $a\in A$.

$(\tilde{f},A)$ is called a absolute multi-fuzzy soft set, denoted by $\widetilde{U_A^k}$ if $\tilde{f}\left(a\right)=\widetilde{1_k}$ for all $a\in A$.

Definition 12

(Ref. [32]). Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft sets of dimension k over U.

(1) 

Their ∧-intersection denoted by $(\tilde{f},A)\tilde{\wedge }(\tilde{g},B)$, is defined as $(\tilde{f},A)\tilde{\wedge }(\tilde{g},B)=(\tilde{h},A\times B)$, where $\tilde{h}(a,b)=\tilde{f}\left(a\right)\sqcap \tilde{g}\left(b\right)$, for all $(a,b)\in A\times B$.

(2) 

Their ∨-union denoted by $(\tilde{f},A)\tilde{\vee }(\tilde{g},B)$, is defined as $(\tilde{f},A)\tilde{\vee }(\tilde{g},B)=(\tilde{h},A\times B)$, where $\tilde{h}(a,b)=\tilde{f}\left(a\right)\bigsqcup \tilde{g}\left(b\right)$, for all $(a,b)\in A\times B$.

Definition 13

(Ref. [32]). Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft sets of dimension k over U. Then, their union is the multi-fuzzy soft set $(\tilde{h},C)$, where $C=A\cup B$ and for all $c\in C$, $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)$ if $c\in A-B$, $\tilde{h}\left(c\right)=\tilde{g}\left(c\right)$ if $c\in B-A$ and $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)\bigsqcup \tilde{g}\left(c\right)$ if $c\in A\cap B$. We write $(\tilde{f},A)\tilde{\bigsqcup }(\tilde{g},B)=(\tilde{h},C)$.

Definition 14

(Ref. [32]). Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft sets of dimension k over U.

(1) 

Their restricted intersection is the multi-fuzzy soft set $(\tilde{h},C)$, where $C=A\cap B\ne \varnothing$, and for all $c\in C$, $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)$. Its denoted by $(\tilde{f},A){\tilde{\sqcap }}_{\Re }(\tilde{g},B)=(\tilde{h},C)$.

(2) 

Their extended intersection is the multi-fuzzy soft set $(\tilde{h},C)$, where $C=A\cup B$ and for all $c\in C$, $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)$ if $c\in A-B$, $\tilde{h}\left(c\right)=\tilde{g}\left(c\right)$ if $c\in B-A$ and $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)$ if $c\in A\cap B$. We write $(\tilde{f},A){\tilde{\sqcap }}_{\Im }(\tilde{g},B)=(\tilde{h},C)$.

3. Multi-Fuzzy Soft Hypermodules

In [30], the notion of fuzzy-multi polygroup which extends the notion of multi-fuzzy group studied by Al Tahan et all. In this paper, we used the definition algebraic structure of multi-fuzzy set and multi-fuzzy soft set which was given by Sebastian et.al in [28] and Yang et al. [32], respectively, we introduce the definition of multi-fuzzy soft hypermodules and give some fundamental properties of multi-fuzzy soft hypermodules.

Definition 15.

Let M be a hypermodule over a hyperring R and $(\tilde{f},A)$ be a multi-fuzzy soft set of dimension k over M. Then $(\tilde{f},A)$ is called a multi-fuzzy soft hypermodule of dimension k over M if and only if for all $a\in A$, $x,y\in M$ and $r\in R$,

(1) 

${\displaystyle min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}\le \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(a\right)}\left(z\right)\right\}}$;

(2) 

$M{M}_{\tilde{f}\left(a\right)}\left(x\right)\le M{M}_{\tilde{f}\left(a\right)}(-x)$;

(3) 

$M{M}_{\tilde{f}\left(a\right)}\left(x\right)\le M{M}_{\tilde{f}\left(a\right)}\left(rx\right)$.

That is, for each $a\in A$, $\tilde{f}\left(a\right)=M{M}_{\tilde{f}\left(a\right)}$ is a multi-fuzzy subhypermodule of M.

The first condition requires that the hypermodule is closed under multi-fuzzy soft hyperoperation +. The second condition is a generalization of inverse element under +. Furthermore, the third condition extend the external product.

Proposition 1.

Let $(\tilde{f},A)$ be a multi-fuzzy soft set of dimension k over M. If $(\tilde{f},A)$ is a multi-fuzzy soft hypermodule, then for all $x,y\in M$ and $a\in A$, we have

(i)

${\displaystyle min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}\le \underset{z\in x-y}{inf}\left\{M{M}_{\tilde{f}\left(a\right)}\left(z\right)\right\}}$,

(ii)

$M{M}_{\tilde{f}\left(a\right)}\left(x\right)=M{M}_{\tilde{f}\left(a\right)}(-x)$,

(iii)

$M{M}_{\tilde{f}\left(a\right)}\left(x\right)\le M{M}_{\tilde{f}\left(a\right)}\left(0\right)$.

Proof. 

The proof follows from Definition 15. □

Indeed, the condition (i) is equivalent to the conditions (1) and (2). The condition (ii) means that the degree of membership of $-x$ is equal to x, and the condition (iii) says that the degree of 0 is greater than of all elements of M.

To explain, we give a few examples to see what the definition means.

Example 2.

Consider $M=\{0,1,2,3\}$ and $R=\{0,1,2\}$ with the following hyperoperations:

${+}_1$	0	1	2	3		${·}_1$	0	1	2	3
0	0	1	2	3		0	0	0	0	0
1	1	0	{1,2}	{1,3}		1	0	1	2	3
2	2	{1,2}	0	{2,3}		2	0	2	0	2
3	3	{1,3}	{2,3}	0

${+}_2$	0	1	2		${·}_2$	0	1	2
0	0	1	2		0	0	0	0
1	1	0	{1,2}		1	0	1	2
2	2	{1,2}	0		2	0	2	1

Then, $(M,{+}_1,{·}_1)$ is a hypermodule over hyperring $(R,{+}_2,{·}_2)$ [26]. Let $A=\{e_1,e_2,e_3\}$ be the set of parameters.

(1) We define the multi-fuzzy soft set $\tilde{f}:A\to M^{3}FS\left(M\right)$ as follows.

$$\begin{array}{ccc}\hfill M{M}_{\tilde{f}\left(e_1\right)}& =& \{0/(0.8,0.7,0.6),1/(0.6,0.5,0.4),2/(0.7,0.6,0.5),3/(0.2,0.2,0.4\left)\right\}\hfill \\ \hfill M{M}_{\tilde{f}\left(e_2\right)}& =& \{0/(0.6,0.7,0.8),1/(0.5,0.5,0.4),2/(0.6,0.6,0.8),3/(0.3,0.3,0.2\left)\right\}\hfill \\ \hfill M{M}_{\tilde{f}\left(e_3\right)}& =& \{0/(0.9,0.9,0.8),1/(0.2,0.2,0.4),2/(0.6,0.4,0.6),3/(0.5,0.2,0.4\left)\right\}\hfill \end{array}$$

Then, for all $a\in A$, $M{M}_{\tilde{f}\left(a\right)}$ is a multi-fuzzy subhypermodule on M. By Definition 15, $(\tilde{f},A)$ is a multi-fuzzy soft hypermodule of dimension 3 over M.

(2) We define the multi-fuzzy soft set $\tilde{f}:A\to M^{3}FS\left(M\right)$ as follows.

$$\begin{array}{ccc}\hfill M{M}_{\tilde{f}\left(e_1\right)}& =& \{0/(0.6,0.6,0.7),1/(0.4,0.5,0.4),2/(0.5,0.5,0.6),3/(0.4,0.2,0.3\left)\right\}\hfill \\ \hfill M{M}_{\tilde{f}}& =& \{0/(0.9,0.9,0.7),1/(0.6,0.4,0.2),2/(0.7,0.5,0.4),3/(0.8,0.6,0.5\left)\right\}\hfill \\ \hfill M{M}_{\tilde{f}\left(e_3\right)}& =& \{0/(0.6,0.7,0.7),1/(0.3,0.2,0.4),2/(0.5,0.5,0.6),3/(0.2,0.2,0.3\left)\right\}\hfill \end{array}$$

Then, it is easy to see that $M{M}_{\tilde{f}\left(e_1\right)}$ and $M{M}_{\tilde{f}\left(e_3\right)}$ are multi-fuzzy subhypermodules on M. However, $M{M}_{\tilde{f}\left(e_2\right)}$ is not a multi-fuzzy subhypermodule on M as $M{M}_{\tilde{f}\left(e_2\right)}\left(2.3\right)\}=M{M}_{\tilde{f}\left(e_2\right)}\left(2\right)\ngeqq M{M}_{\tilde{f}\left(e_2\right)}\left(3\right)$. By Definition 15, $(\tilde{f},A)$ is not a multi-fuzzy soft hypermodule of dimension 3 over M.

Example 3.

Let $A\subset E$ and $(F,A)$ be a soft set over M. For all $a\in A$, the multi-fuzzy soft set ${\tilde{\chi }}_{F\left(a\right)}:A\to M^{k}FS\left(M\right)$ defined by

$$\begin{array}{c}\hfill M{M}_{{\tilde{\chi }}_{F\left(a\right)}}\left(b\right)=\left\{\begin{array}{cc}\widetilde{1_k}\hfill & ifb\in F\left(a\right)\hfill \\ {\tilde{\mathsf{\Phi }}}_k,\hfill & otherwise\hfill \end{array}\right.\end{array}$$

for all $b\in A$. Then, $({\tilde{\chi }}_{F\left(a\right)},A)$ is a multi-fuzzy soft set of dimension k over M. According to this way a soft set $(F,A)$ over M can be consider as a multi-fuzzy soft set of dimension k over M.

Example 4.

According to Example 2, each one soft set can be seen as a multi-fuzzy soft set and each one characteristic function of a subhypermodule of a hypermodule is a multi-fuzzy subhypermodule, we can take into account a soft hypermodule as a multi-fuzzy soft hypermodule.

Example 5.

Take into account the hypermodule $M=\{0,1,2,3\}$ defined in Example 2. Let $\varnothing \ne A$ be a set of parameters. We define the multi-fuzzy soft set $\tilde{f}:A\to M^{k}FS\left(M\right)$ as follows. For all $a\in A$ $M{M}_{\tilde{f}\left(a\right)}\left(0\right)\ge M{M}_{\tilde{f}\left(a\right)}\left(x\right)$ for all $x\in M$, $M{M}_{\tilde{f}\left(a\right)}\left(1\right)\ge M{M}_{\tilde{f}\left(a\right)}\left(3\right)$ and $M{M}_{\tilde{f}\left(a\right)}\left(2\right)\ge M{M}_{\tilde{f}\left(a\right)}\left(1\right)$. Then, $M{M}_{\tilde{f}\left(a\right)}$ is a multi-fuzzy sub-hypermodule of M for all $a\in A$. By Definition 15, $(\tilde{f},A)$ is a multi-fuzzy soft hypermodule of dimension k over M.

The following theorem shows that Definition 15 is a generalization of soft hypermodule. The theorem is expressed in terms of a necessary and sufficient condition.

Theorem 1.

Let $F:A\to {\mathcal{P}}^{*}\left(P\right)$ be a soft set over M. Then, $(F,A)$ is a soft hypermodule over M if and only if $({\tilde{\chi }}_{F\left(a\right)},A)$ is a multi-fuzzy soft hypermodule of dimension k over M.

Proof. 

The proof is follows by Example 3. □

In Theorem 2, we show that the restricted intersection and the extended intersection of two multi-fuzzy soft hypermodules are also multi-fuzzy soft hypermodules.

Theorem 2.

Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodules of dimension k over M.

(1) 

$(\tilde{f},A){\tilde{\sqcap }}_{\Re }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule.

(2) 

$(\tilde{f},A){\tilde{\sqcap }}_{\Im }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule.

Proof. 

(1) Using Definition 14 (i), let $(\tilde{f},A){\tilde{\sqcap }}_{\Re }(\tilde{g},B)=(\tilde{h},C)$, where $C=A\cap B$ and for all $c\in C$, $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)$. As $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodule of dimension k over M, we have for arbitrary $c\in C$, for all $x,y\in M$ and $r\in R$

$$\begin{array}{ccc}\hfill {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(c\right)}\left(z\right)\right\}}& \ge & min\{M{M}_{\tilde{f}\left(c\right)}\left(x\right),M{M}_{\tilde{f}\left(c\right)}\left(y\right)\},\hfill \\ \hfill M{M}_{\tilde{f}\left(c\right)}\left(x\right)& \le & M{M}_{\tilde{f}\left(c\right)}(-x)andM{M}_{\tilde{f}\left(c\right)}\left(rx\right)\ge M{M}_{\tilde{f}\left(c\right)}\left(x\right)\hfill \\ \hfill {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{g}\left(c\right)}\left(z\right)\right\}}& \ge & min\{M{M}_{\tilde{g}\left(c\right)}\left(x\right),M{M}_{\tilde{g}\left(c\right)}\left(y\right)\},\hfill \\ \hfill M{M}_{\tilde{g}\left(c\right)}\left(x\right)& \le & M{M}_{\tilde{g}\left(c\right)}(-x)andM{M}_{\tilde{g}\left(c\right)}\left(rx\right)\ge M{M}_{\tilde{g}\left(c\right)}\left(x\right).\hfill \end{array}$$

For arbitrary $c\in C$, for all $x,y\in M$ and $r\in R$

$$\begin{array}{ccc}\hfill {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{h}\left(c\right)}\left(z\right)\right\}}& =& {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}\left(z\right)\right\}}\hfill \\ & =& {\displaystyle \underset{z\in x+y}{inf}\{M{M}_{\tilde{f}\left(c\right)}\left(z\right)\wedge M{M}_{\tilde{g}\left(c\right)}\left(z\right)\}}\hfill \\ & =& {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(c\right)}\left(z\right)\right\}\wedge \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{g}\left(c\right)}\left(z\right)\right\}}\hfill \\ & \ge & min\{M{M}_{\tilde{f}\left(c\right)}\left(x\right),M{M}_{\tilde{f}\left(c\right)}\left(y\right)\}\wedge min\{M{M}_{\tilde{g}\left(c\right)}\left(x\right),M{M}_{\tilde{g}\left(c\right)}\left(y\right)\}\hfill \\ & =& min\{M{M}_{\tilde{f}\left(c\right)}\left(x\right),M{M}_{\tilde{g}\left(c\right)}\left(x\right)\}\wedge min\{M{M}_{\tilde{f}\left(c\right)}\left(y\right),M{M}_{\tilde{g}\left(c\right)}\left(y\right)\}\hfill \\ & =& min\{M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}\left(x\right),M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}\left(y\right)\}\hfill \\ & =& min\{M{M}_{\tilde{h}\left(c\right)}\left(x\right),M{M}_{\tilde{h}\left(c\right)}\left(y\right)\}.\hfill \end{array}$$

Moreover,

$$\begin{array}{ccc}\hfill M{M}_{\tilde{h}\left(c\right)}\left(x\right)& =& M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}\left(x\right)\hfill \\ & =& min\{M{M}_{\tilde{f}\left(c\right)}\left(x\right),M{M}_{\tilde{g}\left(c\right)}\left(x\right)\}\hfill \\ & \le & min\{M{M}_{\tilde{f}\left(c\right)}(-x),M{M}_{\tilde{g}\left(c\right)}(-x)\}\hfill \\ & =& M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}(-x)\hfill \\ & =& M{M}_{\tilde{h}\left(c\right)}(-x).\}\hfill \\ \hfill M{M}_{\tilde{h}\left(c\right)}\left(rx\right)& =& M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}\left(rx\right)\hfill \\ & =& min\{M{M}_{\tilde{f}\left(c\right)}\left(rx\right),M{M}_{\tilde{g}\left(c\right)}\left(rx\right)\}\hfill \\ & \ge & min\{M{M}_{\tilde{f}\left(c\right)}\left(x\right),M{M}_{\tilde{g}\left(c\right)}\left(x\right)\}\hfill \\ & =& M{M}_{\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)}\left(x\right)\hfill \\ & =& M{M}_{\tilde{h}\left(c\right)}\left(x\right).\hfill \end{array}$$

Therefore, $(\tilde{f},A){\tilde{\sqcap }}_{\Re }(\tilde{g},B)=(\tilde{h},C)$ is a multi-fuzzy soft hypermodule of dimension k over M.

(2) According to Definition 14 (2), we can write $(\tilde{f},A){\sqcap }_{\Im }(\tilde{g},B)=(\tilde{h},C)$, $C=A\cup B$. If $c\in A-B$, then $\tilde{h}\left(c\right)=M{M}_{\tilde{h}\left(c\right)}=M{M}_{\tilde{f}\left(c\right)}=\tilde{f}\left(c\right)$ is a multi fuzzy sub-hypermodule of M, as $(\tilde{f},A)$ is a multi-fuzzy soft hypermodule over M; if $c\in B-A$, then $\tilde{h}\left(c\right)=M{M}_{\tilde{h}\left(c\right)}=M{M}_{\tilde{g}\left(c\right)}=\tilde{g}\left(c\right)$ is a multi fuzzy sub-hypermodule of M, as $(\tilde{g},B)$ is a multi-fuzzy soft hypermodule over M; if $c\in A\cap B$, then $\tilde{h}\left(c\right)=\tilde{f}\left(c\right)\sqcap \tilde{g}\left(c\right)$ is a multi-fuzzy sub-hypermodule of M by (1). Therefore, $(\tilde{f},A){\tilde{\sqcap }}_{\Im }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M. □

From Theorem 2, we have the following corollary.

Corollary 1.

Let $\{(\widetilde{f_i},A_i)\mid i\in I\}$ be a family of multi-fuzzy soft hypermodules of dimension k over M. If ${\displaystyle {\cap }_{i\in I}{A}_i\ne \varnothing }$. Then,

(1)

${\left({\tilde{\sqcap }}_{\Re }\right)}_{i\in I}(\widetilde{f_i},A_i)$ is a multi-fuzzy soft hypermodule over M.

(2)

${\left({\tilde{\sqcap }}_{\Im }\right)}_{i\in I}(\widetilde{f_i},A_i)$ is a multi-fuzzy soft hypermodule over M.

The union of two multi-fuzzy soft hypermodules is not a multi-fuzzy soft hypermodule. In Theorem 3, we provide a condition for the union to be a multi-fuzzy soft hypermodule too.

Theorem 3.

Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodules of dimension k over M. If $A\cap B=\varnothing$, then $(\tilde{f},A)\tilde{\bigsqcup }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M.

Proof. 

According to Definition 13, we can write $(\tilde{f},A)\tilde{\bigsqcup }(\tilde{g},B)=(\tilde{h},C)$, where $C=A\cup B$. As $A\cap B=\varnothing$, it follows that either $c\in A-B$ or $c\in B-A$ for all $c\in C$. If $c\in A-B$, then $\tilde{h}\left(c\right)=M{M}_{\tilde{h}\left(c\right)}=M{M}_{\tilde{f}\left(c\right)}=\tilde{f}\left(c\right)$ is a multi fuzzy subhypermodule of M and if $c\in B-A$, then $\tilde{h}\left(c\right)=M{M}_{\tilde{h}\left(c\right)}=M{M}_{\tilde{g}\left(c\right)}=\tilde{g}\left(c\right)$ are multi fuzzy subhypermodule of M. Therefore, $(\tilde{f},A)\tilde{\bigsqcup }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M. □

Theorem 4.

Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodule of dimension k over M. Then $(\tilde{f},A)\tilde{\wedge }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M.

Proof. 

According to Definition 12 (1), let $\left(\tilde{f}A\right)\tilde{\wedge }(\tilde{g},B)=(\tilde{h},A\times B)$. We know that $\tilde{f}\left(a\right)=M{M}_{\tilde{f}\left(a\right)}$, for all $a\in A$, and $\tilde{g}\left(b\right)=M{M}_{\tilde{g}\left(b\right)}$, for all $b\in B$, is a multi-fuzzy subhypermodule of M and so is $\tilde{h}(a,b)=M{M}_{\tilde{h}(a,b)}=M{M}_{\tilde{f}\left(a\right)\sqcap \tilde{g}\left(b\right)}$ for all $(a,b)\in A\times B$, because intersection of two multi-fuzzy subhypermodule is also a multi-fuzzy subhypermodule. Therefore, $(\tilde{f},A)\tilde{\wedge }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M. □

From Theorems 3 and 4, we obtain the following corollary.

Corollary 2.

Let $\{(\widetilde{f_i},A_i)\mid i\in I\}$ be a family of multi-fuzzy soft hypermodule of dimension k over M.

(1)

If $A_i\cap A_j=\varnothing$ for all $i,j\in I$ and $i\ne j$, then ${\displaystyle {\bigsqcup }_{i\in I}(\widetilde{f_i},A_i)}$ is a multi-fuzzy soft hypermodule of dimension k over M.

(2)

${\displaystyle {\tilde{\wedge }}_{i\in I}(\widetilde{f_i},A_i)}$ is a multi-fuzzy soft hypermodule of dimension k over M.

Theorem 5.

Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodules of dimension k over M. If $(\tilde{f},A)⊏(\tilde{g},B)$ or $(\tilde{g},B)⊏(\tilde{f},A)$, then $(\tilde{f},A)\tilde{\vee }(\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M.

Proof. 

Suppose that $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodules of dimension k over M. By the Definition 12 (2), we can write $(\tilde{f},A)\tilde{\vee }(\tilde{g},B)=(\tilde{h},C)$, where $C=A\times B$, and $\tilde{h}(a,b)=\tilde{f}\left(a\right)\bigsqcup \tilde{g}\left(b\right)$ for all $(a,b)\in C$. As $(\tilde{f},A)$ and $(\tilde{g},B)$ are multi-fuzzy soft hypermodule of dimension k over M, we deduce that $\tilde{f}\left(a\right)=M{M}_{\tilde{f}\left(a\right)}$, for all $a\in A$, and $\tilde{g}\left(b\right)=M{M}_{\tilde{g}\left(b\right)}$, for all $b\in B$, are multi-fuzzy subhypermodule of M. By assumption, $\tilde{h}(a,b)=\tilde{f}\left(a\right)\bigsqcup \tilde{g}\left(b\right)$ is a multi-fuzzy soft hypermodule of dimension k over M for all $(a,b)\in C$. Therefore, the ∨-union $(\tilde{f},A)\tilde{\vee }(\tilde{g},B)$ a multi-fuzzy soft hypermodule of dimension k over M. □

Definition 16.

Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft sets of dimension k over M. Then, their sum is a multi-fuzzy soft sets $(\tilde{h},C)$, where $C=A\cup B$, denoted by $(\tilde{f},A)\oplus (\tilde{g},B)$ and for all $c\in C$,

$$\begin{array}{c}\hfill \tilde{h}\left(c\right)=\left\{\begin{array}{cc}\tilde{f}\left(c\right)\hfill & ifc\in A\backslash B\hfill \\ \tilde{g}\left(c\right)\hfill & ifc\in B\backslash A\hfill \\ \tilde{f}\left(c\right)\oplus \tilde{g}\left(c\right)\hfill & ifc\in A\cap B,\hfill \end{array}\right.\end{array}$$

and for every $z\in M$,

$$\left(\tilde{f}\left(c\right)\oplus \tilde{g}\left(c\right)\right)\left(z\right)=\bigvee \left\{M{M}_{\tilde{f}\left(c\right)}\left(x\right)\wedge M{M}_{\tilde{g}\left(c\right)}\left(y\right),x,y\in M,z\in x+y\right\}.$$

Theorem 6.

Let $(\tilde{f},A)$ and $(\tilde{g},B)$ be two multi-fuzzy soft hypermodules of dimension k over M. Then, $(\tilde{f},A)\oplus (\tilde{g},B)$ is a multi-fuzzy soft hypermodule of dimension k over M.

Proof. 

It is straightforward. □

Definition 17.

Let $(\tilde{f},A)$ be a multi-fuzzy soft set of dimension k over M. The soft set ${(\tilde{f},A)}_t=\{{\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t\mid a\in A\}$, where

$${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t=\{x\in M\mid M{M}_{\tilde{f}\left(a\right)}\left(x\right)\ge t\},$$

for all $t=(t_1,t_2,\dots ,t_k)$, $t_i\in (0,1]1\le i\le k$, is said to be a t-level soft set of the multi-fuzzy soft set $(\tilde{f},A)$, where ${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t$ is a t-level subset of the multi-fuzzy set $M{M}_{\tilde{f}\left(a\right)}$.

Level set also known as t-cut is a soft set for a multi-fuzzy soft set consisting of all members of universe of discourse have membership value greater than or equal to t. The t-level cuts are a very useful tool to study the theory of multi-fuzzy soft sets and their applications. It convert the whole multi-fuzzy soft system to soft system (i.e., classical soft set theory system).

This following theorem explores the relation between multi-fuzzy soft hypermodule and t-level soft sets.

Theorem 7.

Let $(\tilde{f},A)$ be a multi-fuzzy soft set of dimension k over M. Then, $(\tilde{f},A)$ is a multi-fuzzy soft hypermodule of dimension k over M if and only if for all $a\in A$ and for all $t\in (0,1]$ with ${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t\ne \varnothing$ the t-level soft set ${(\tilde{f},A)}_t$ is a soft hypermodule over M.

Proof. 

Suppose $(\tilde{f},A)$ be a multi-fuzzy soft hypermodule of dimension k over M. Then, for each $a\in A$, $M{M}_{\tilde{f}\left(a\right)}$ is a multi-fuzzy subhypermodule of M. Suppose that $t\in (0,1]$ with ${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t\ne \varnothing$ and $x,y\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t$. Then, $M{M}_{\tilde{f}\left(a\right)}\left(x\right)\ge t$, $M{M}_{\tilde{f}\left(a\right)}\left(y\right)\ge t$. Thus,

$${\displaystyle t\le min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}\le \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(a\right)}\left(z\right)\right\}.}$$

which implies that $M{M}_{\tilde{f}\left(a\right)}\left(z\right)\ge t$ for all $z\in x+y$. Therefore, $x+y\subseteq {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t$. Moreover, for $x\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t$, we have $M{M}_{\tilde{f}\left(a\right)}(-x)\ge M{M}_{\tilde{f}\left(a\right)}\left(x\right)\ge t$ and $M{M}_{\tilde{f}\left(a\right)}\left(rx\right)\ge t$ for all $r\in R$. It follows that $-x,rx\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t$ for all $r\in R$, We obtain that ${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_t$ is a sub-hypermodule of M for all $a\in A$. Consequently, ${(\tilde{f},A)}_t$ is a soft hypermodule over M. Conversely, let ${(\tilde{f},A)}_t$ be a soft hypermodule over M for all $t\in (0,1]$. Let $t_0=min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}$ for some $x,y\in M$. Then, obviously $x,y\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_{t_0},$ consequently, $x+y\subseteq {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_{t_0}$. Thus,

$${\displaystyle min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}=t_0\le \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(a\right)}\left(z\right)\right\}.}$$

Now, $t_0=M{M}_{\tilde{f}\left(a\right)}\left(x\right)$ for some $x\in M$. As, by the assumption, every non-empty t-level soft set ${(\tilde{f},A)}_t$ is a soft hypermodule over M, $-x,r.x\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_{t_0}$ for all $r\in R$. Then, $M{M}_{\tilde{f}\left(a\right)}(-x)\ge t_0=M{M}_{\tilde{f}\left(a\right)}\left(x\right)$ and $M{M}_{\tilde{f}\left(a\right)}\left(rx\right)\ge t_0=M{M}_{\tilde{f}\left(a\right)}\left(x\right)$. As a result, we get that $M{M}_{\tilde{f}\left(a\right)}$ is a multi-fuzzy subhypermodule of M for all $a\in A$. Consequently, $(\tilde{f},A)$ is a multi-fuzzy soft hypermodule of dimension k over M. □

Definition 18.

Let $(\tilde{f},A)$ be a multi-fuzzy soft set of dimension k over M. We define the soft set ${(\tilde{f},A)}_0=\{{\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0\mid a\in A\}$, where

$${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0=\{x\in M\mid M{M}_{\tilde{f}\left(a\right)}\left(x\right)=M{M}_{\tilde{f}\left(a\right)}\left(0\right)\}.$$

Theorem 8.

Let $(\tilde{f},A)$ be a multi-fuzzy soft hypermodule of dimension k over M. Then, the soft set ${(\tilde{f},A)}_0$ is a soft hypermodule over M.

Proof. 

Let $(\tilde{f},A)$ be a multi-fuzzy soft hypermodule of dimension k over M. Then for each $a\in A$, $M{M}_{\tilde{f}\left(a\right)}$ is a multi-fuzzy sub-hypermodule of M. Suppose that $x,y\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0$. Then, $M{M}_{\tilde{f}\left(a\right)}\left(x\right)=M{M}_{\tilde{f}\left(a\right)}\left(y\right)=M{M}_{\tilde{f}\left(a\right)}\left(0\right)$. Thus,

$${\displaystyle M{M}_{\tilde{f}\left(a\right)}\left(0\right)=min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}\le \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(a\right)}\left(z\right)\right\}.}$$

and ${\displaystyle M{M}_{\tilde{f}\left(a\right)}\left(0\right)\ge \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{f}\left(a\right)}\left(z\right)\right\}}$ which implies that $M{M}_{\tilde{f}\left(a\right)}\left(z\right)=M{M}_{\tilde{f}\left(a\right)}\left(0\right)$ for all $z\in x+y$. Therefore, $x+y\subseteq {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0$. Moreover, for $x\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0$, we have by Proposition 1, $M{M}_{\tilde{f}\left(a\right)}(-x)=M{M}_{\tilde{f}\left(a\right)}\left(x\right)=M{M}_{\tilde{f}\left(a\right)}\left(0\right)$. and similarly $M{M}_{\tilde{f}\left(a\right)}\left(rx\right)=M{M}_{\tilde{f}\left(a\right)}\left(0\right)$ for all $r\in R$. It follows $-x,rx\in {\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0$ for all $r\in R$, We obtain that ${\left(M{M}_{\tilde{f}\left(a\right)}\right)}_0$ is a sub-hypermodule of M for all $a\in A$. Consequently, ${(\tilde{f},A)}_0$ is a soft hypermodule over M. □

4. Image and Pre-Image of Multi-Fuzzy Soft Hypermodules

In this section, We define the images and pre-images of multi-fuzzy soft hypermodules using Zadeh image and primage operators. Then, we study and investigate their properties. First we begin with the following definition. Suppose that

$$\begin{array}{c}\hfill M^k{F}_S^S(M,E)=\{(\tilde{f},A)\mid A\subseteq E,(f,A)\mathrm{is}\mathrm{a}\mathrm{multi-fuzzy}\mathrm{soft}\mathrm{set}\mathrm{of}\mathrm{dimension}\mathrm{k}\mathrm{over}\mathrm{M}\}.\end{array}$$

Then, $M^k{F}_S^S(M,E)$ is called a multi-fuzzy soft set class over M.

Definition 19.

Let $M^k{F}_S^S(M_1,E_1)$, $M^k{F}_S^S(M_2,E_2)$ and $\phi :M_1\to M_2$ and $\psi :E_1\to E_2$ be two functions. Then, the pair $(\phi ,\psi )$ is said to be a multi-fuzzy soft function from $M_1$ to $M_2$.

Definition 20.

Let $(\tilde{f},A)\in M^k{F}_S^S(M_1,E_1)$,$(\tilde{g},B)\in M^k{F}_S^S(M_2,E_2)$ and $(\phi ,\psi )$ be a multi-fuzzy soft function from $M_1$ to $M_2$.

(1) 

The image of $(\tilde{f},A)$ under the multi-fuzzy soft function $(\phi ,\psi )$, denoted by $(\phi ,\psi )(\tilde{f},A)$, is the multi-fuzzy soft set $(\phi \left(\tilde{f}\right),\psi \left(A\right))\in M^k{F}_S^S(M_2,E_2)$ such that the multi-fuzzy set $\phi \left(\tilde{f}\right)\left(t\right)$ for any $t\in \psi \left(A\right)$ is expressed as follows:

$$\begin{array}{c}\hfill M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(y\right)=\left\{\begin{array}{cc}{\displaystyle \underset{\phi \left(x\right)=y}{\bigvee }\underset{\psi \left(a\right)=t}{\bigvee }M{M}_{\tilde{f}\left(a\right)}\left(x\right)}\hfill & if\exists x\in {\phi }^{-1}\left(y\right)\hfill \\ 0,\hfill & otherwise\hfill \end{array}\right.\end{array}$$

for all $y\in M_2$.

(2) 

The pre-image of $(\tilde{g},B)$ under the multi-fuzzy soft function $(\phi ,\psi )$, denoted by ${(\phi ,\psi )}^{-1}(\tilde{g},B)$, is the multi-fuzzy soft set $({\phi }^{-1}\left(\tilde{g}\right),{\psi }^{-1}\left(B\right))\in M^k{F}_S^S(M_1,E_1)$ such that the multi-fuzzy set ${\phi }^{-1}\left(\tilde{g}\right)\left(a\right)$ is expressed as follows:

$$M{M}_{{\phi }^{-1}\left(\tilde{g}\right)\left(a\right)}\left(x\right)=M{M}_{\tilde{g}\left(\psi \left(a\right)\right)}\left(\phi \left(x\right)\right)$$

for all $a\in {\psi }^{-1}\left(B\right)$ and $x\in M_1$.

If φ and ψ are injective (surjective), then $(\phi ,\psi )$ is said to be injective (surjective).

Furthermore, we define a multi-fuzzy soft homomorphism and show that the homomorphic image and pre-image of a multi fuzzy soft hypermodule are also multi-fuzzy soft hypermodules.

Definition 21.

Let $M_1,M_2$ be two hypermodules and $(\phi ,\psi )$ be a multi-fuzzy soft function from $M_1$ to $M_2$. If φ is a strong homomorphism of hypermodules, then the pair $(\phi ,\psi )$ is called multi-fuzzy soft homomorphism. If φ is a isomorphism and ψ is a one-to-one mapping, then $(\phi ,\psi )$ is said to be multi-fuzzy soft isomorphism.

Theorem 9.

Let $M_1,M_2$ be two hypermodules and $(\phi ,\psi )$ be a multi-fuzzy soft homomorphism from $M_1$ to $M_2$. If $(\tilde{f},A)\in M^k{F}_S^S(M_1,E_1)$ is a multi-fuzzy soft hypermodule, then $(\phi ,\psi )(\tilde{f},A)\in M^k{F}_S^S(M_2,E_2)$ is a multi-fuzzy soft hypermodule.

Proof. 

Let $k\in \psi \left(A\right)$, $u,v\in M_2$. If ${\phi }^{-1}\left(u\right)=\varnothing$ or ${\phi }^{-1}\left(v\right)=\varnothing$, the proof is straightforward. Assume that there exist $x,y\in M_1$, such that $\phi \left(x\right)=u$ and $\phi \left(y\right)=v$. Since $(\tilde{f},A)\in M^k{F}_S^S(M_1,E_1)$ is a multi-fuzzy soft hypermodule, it follows that for each $a\in A$

$$\begin{array}{c}\hfill min\{M{M}_{\tilde{f}\left(a\right)}\left(x\right),M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}\le M{M}_{\tilde{f}\left(a\right)}\left(z\right)\end{array}$$

for all $z\in x+y$. Let $z^{*}\in u+v=\phi (x+y)$. We obtain $z^{*}=\phi \left(z\right)$. Then, we have

$$\begin{array}{ccc}\hfill min\{\underset{\phi \left(x\right)=u}{\bigvee }M{M}_{\tilde{f}\left(a\right)}\left(x\right),\underset{\phi \left(y\right)=v}{\bigvee }M{M}_{\tilde{f}\left(a\right)}\left(y\right)\}& \le & \underset{\phi \left(x\right)=u}{\bigvee }\underset{\phi \left(y\right)=v}{\bigvee }M{M}_{\tilde{f}\left(a\right)}\left(z\right).\hfill \end{array}$$

Therefore,

$$\begin{array}{ccc}\hfill min\{M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(u\right),M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(v\right)\}& \le & \underset{\psi \left(a\right)=t}{\bigvee }\underset{\phi \left(x\right)=u}{\bigvee }\underset{\phi \left(y\right)=v}{\bigvee }M{M}_{\tilde{f}\left(a\right)}\left(z\right)\hfill \\ & =& \underset{\psi \left(a\right)=t}{\bigvee }\underset{\phi \left(z\right)=z^{*}}{\bigvee }M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(z\right)\hfill \end{array}$$

for all $z^{*}\in u+v$. Then, we have

$$\begin{array}{c}\hfill {\displaystyle \underset{z^{*}\in u+v}{inf}\left\{M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(z^{*}\right)\right\}\ge min\{M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(u\right),M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(v\right)\}}\end{array}$$

Moreover, for all $r\in R$, $u\in M_2$ where $\phi \left(x\right)=u$ and $x\in M_1$, we have

$$\begin{array}{ccc}\hfill M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}(-u)& =& {\displaystyle \underset{\phi (-x)=-u}{\bigvee }\underset{\psi \left(a\right)=k}{\bigvee }M{M}_{\tilde{f}\left(a\right)}(-x)}\hfill \\ & \ge & {\displaystyle \underset{\phi \left(x\right)=u}{\bigvee }\underset{\psi \left(a\right)=t}{\bigvee }M{M}_{\tilde{f}\left(a\right)}\left(x\right)}\hfill \\ & =& M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(u\right).\hfill \end{array}$$

Similarly, $M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(ru\right)\ge M{M}_{\phi \left(\tilde{f}\right)\left(t\right)}\left(u\right).$ Consequently, $(\phi ,\psi )(\tilde{f},A)\in M^k{F}_S^S(M_2,E_2)$ is a multi-fuzzy soft hypermodule. □

Theorem 10.

Let $M_1,M_2$ be two hypermodules and $(\phi ,\psi )$ be a multi-fuzzy soft homomorphism from $M_1$ to $M_2$. If $(\tilde{g},B)\in M^k{F}_S^S(M_2,E_2)$ is a multi-fuzzy soft hypermodule, then $({\phi }^{-1}\left(\tilde{g}\right),{\psi }^{-1}\left(B\right))\in M^k{F}_S^S(M_1,E_1)$ is a multi-fuzzy soft hypermodule.

Proof. 

Let $a\in {\psi }^{-1}\left(B\right)$, $x,y\in M_1$. For all $z\in x+y$, we have

$$\begin{array}{ccc}\hfill {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{{\phi }^{-1}\left(\tilde{g}\right)\left(a\right)}\left(z\right)\right\}}& =& {\displaystyle \underset{z\in x+y}{inf}\left\{M{M}_{\tilde{g}\left(\psi \left(a\right)\right)}\left(\phi \left(z\right)\right)\right\}}\hfill \\ & \ge & min\{M{M}_{\tilde{g}\left(\psi \left(a\right)\right)}\left(\phi \left(x\right)\right),M{M}_{\tilde{g}\left(\psi \left(a\right)\right)}\left(\phi \left(y\right)\right)\}\hfill \\ & =& min\{M{M}_{\left({\phi }^{-1}\tilde{g}\right)\left(a\right)}\left(x\right),M{M}_{\left({\phi }^{-1}\tilde{g}\right)\left(a\right)}\left(y\right).\}\hfill \end{array}$$

Similarly for all $r\in R$, we have $M{M}_{\left({\phi }^{-1}\tilde{g}\right)\left(a\right)}(-x)\ge M{M}_{\left({\phi }^{-1}\tilde{g}\right)\left(a\right)}\left(x\right)$ and $M{M}_{\left({\phi }^{-1}\tilde{g}\right)\left(a\right)}\left(rx\right)\ge M{M}_{\left({\phi }^{-1}\tilde{g}\right)\left(a\right)}\left(x\right).$ Therefore, $({\phi }^{-1}\left(\tilde{g}\right),{\psi }^{-1}\left(B\right))\in M^k{F}_S^S(M_1,E_1)$ multi-fuzzy soft hypermodule. □

5. Conclusions

In this paper, we investigated the formal relationships among notions arising from the theories of algebraic hyperstructures, soft sets, and fuzzy sets. We introduced the concept of multi-fuzzy soft hypermodules over a hypermodule and studied some of their related properties. In our analysis, we include extended theories that introduce fuzziness and softness. In our study, if $k=1$, then the multi-fuzzy soft hypermodule becomes a fuzzy soft hypermodule. Furthermore, we discussed image and pre-image of a multi-fuzzy soft set under the multi fuzzy soft function, and investigated soft homomorphism between multi-fuzzy soft hypermodules.

As algebraic hyperstructures can be used in the modeling of biological phenomena [37], this work can be extended to study the applications of multi-fuzzy soft sets in inheritance phenomena with the base of other algebraic hyperstructures like hypergroups, polygroups, and hyperrings.