# On modular inequalities of interval-valued fuzzy soft sets characterized by soft *J*-inclusions

- Xiaoyan Liu
^{1}, - Feng Feng
^{1}Email author, - Ronald R Yager
^{2}, - Bijan Davvaz
^{3}and - Madad Khan
^{4, 5}

**2014**:360

https://doi.org/10.1186/1029-242X-2014-360

© Liu et al.; licensee Springer. 2014

**Received: **21 February 2014

**Accepted: **15 September 2014

**Published: **24 September 2014

## Abstract

This study aims to explore modular inequalities of interval-valued fuzzy soft sets characterized by Jun’s soft *J*-inclusions. Using soft product operations of interval-valued fuzzy soft sets, we first investigate some basic properties of soft *J*-inclusions and soft *L*-inclusions. Then a new concept called upward directed interval-valued fuzzy soft sets is defined and some equivalent characterizations are presented. Furthermore, we consider modular laws in lattice theory and find that classical modular inequalities in lattice theory are not valid for interval-valued fuzzy soft sets. Finally, we present some interesting inequalities of interval-valued fuzzy soft sets by virtue of soft *J*-inclusions and related notions.

**MSC:**03E72.

## Keywords

## 1 Introduction

It is worth noting that uncertainty arise from various domains has different nature and cannot be captured within a single mathematical framework. In addition to probability theory and statistics, we currently have some advanced soft computing methods such as fuzzy sets [1], rough sets [2], and also soft sets [3]. Molodtsov’s soft set theory provides a relatively new mathematical approach to dealing with uncertainty from a parameterization point of view. In the past decades, a rapid development in this theory and various applications have been witnessed [4–24].

Some researchers endeavored to enrich soft sets by combining them with other soft computing models such as rough sets and fuzzy sets. Using soft sets as the granulation structures, Feng *et al.* [21] initiated soft approximation spaces and soft rough sets, which generalize Pawlak’s rough sets based on soft sets. On the other hand, Maji *et al.* [25] initiated the study on hybrid structures involving both fuzzy sets and soft sets. They introduced the notion of fuzzy soft sets, which can be seen as a fuzzy generalization of Molodtsov’s soft sets. Furthermore, Yang *et al.* [26] introduced interval-valued fuzzy soft sets which realize a common extension of both Molodtsov’s soft sets and interval-valued fuzzy sets. It should be noted that there are several different kinds of soft inclusions (also known as soft subsets) in the literature [22, 23, 27, 28]. Feng and Li [29] investigated different types of soft subsets and the related soft equal relations in a systematic way. They also considered some interesting algebraic properties of soft product operations for Molodtsov’s soft sets. Liu *et al.* [30] investigated these issues in the more general setting of interval-valued fuzzy soft sets. They revealed some non-classical algebraic properties of interval-valued fuzzy soft sets with respect to soft product operations, which are distinct from those of interval-valued fuzzy sets. As a continuation to this line of research, in the present paper we will focus on modular inequalities of interval-valued fuzzy soft sets characterized by Jun’s soft *J*-inclusions.

The remainder of this study is organized as follows. Section 2 introduces some fundamental concepts and useful results regarding interval-valued fuzzy soft sets. Section 3 investigates some basic properties of Jun’s soft *J*-inclusions and Liu’s soft *L*-inclusions. In Section 4, we define upward directed interval-valued fuzzy soft sets and concentrate on discussing algebraic properties of soft product operations concerning idempotency. Section 5 is devoted to the exploration of modular inequalities of interval-valued fuzzy soft sets. Finally, the last section summarizes the study and suggests possible future works.

## 2 Preliminaries

Let *U* be a universe and ${E}_{U}$ (or simply *E*) be the set of all parameters associated with objects in *U*, which is called a *parameter space*. We denote the power sets of *U* by $\mathcal{P}(U)$. Then soft sets are defined as follows.

**Definition 2.1** [3]

A pair $\mathfrak{S}=(F,A)$ is called a *soft set* over *U*, where $A\subseteq E$ and $F:A\to \mathcal{P}(U)$ is a set-valued mapping, called the *approximate function* of the soft set $\mathfrak{S}$.

By virtue of parametrization, a soft set could provide a series of approximate descriptions of a complicated object being perceived from various points of view. For any parameter $\u03f5\in A$, the subset $F(\u03f5)\subseteq U$ is called an *ϵ-approximate set*, consisting of all *ϵ*-approximate elements [3].

Then ${\mathcal{L}}^{I}=({L}^{I},{\le}_{{L}^{I}})$ is a complete lattice. An *interval-valued fuzzy set* on a universe *U* is a mapping $\mu :U\to {L}^{I}$. The union, intersection and complement of interval-valued fuzzy sets can be obtained by canonically extending fuzzy set-theoretic operations to intervals. The set of all interval-valued fuzzy sets on *U* is denoted by $\mathcal{I}(U)$.

**Definition 2.2** [27]

Let $(U,E)$ be a soft universe and $A\subseteq E$. A pair $\mathfrak{I}=(\tilde{F},A)$ is called an *interval-valued fuzzy soft set* over *U*, where $\tilde{F}$ is a mapping given by $\tilde{F}:A\to \mathcal{I}(U)$.

The mapping $\tilde{F}:A\to \mathcal{I}(U)$ is also called the *approximate function* of the interval-valued fuzzy soft set $\mathfrak{I}=(\tilde{F},A)$. The following two operations ∧ and ∨ will be referred to as *soft product operations* of interval-valued fuzzy soft sets in general.

**Definition 2.3** [26]

Let $\mathfrak{A}=(\tilde{F},A)$ and $\mathfrak{B}=(\tilde{G},B)$ be two interval-valued fuzzy soft sets over *U*. The ∧*-product* (also called AND operation) of interval-valued fuzzy soft sets $\mathfrak{A}$ and $\mathfrak{B}$ is an interval-valued fuzzy soft set defined by $\mathfrak{A}\wedge \mathfrak{B}=(H,A\times B)$, where $H(a,b)=F(a)\cap G(b)$ for all $(a,b)\in A\times B$.

**Definition 2.4** [26]

Let $\mathfrak{A}=(\tilde{F},A)$ and $\mathfrak{B}=(\tilde{G},B)$ be two interval-valued fuzzy soft sets over *U*. The ∨*-product* (also called OR operation) of interval-valued fuzzy soft sets $\mathfrak{A}$ and $\mathfrak{B}$ is an interval-valued fuzzy soft set defined by $\mathfrak{A}\vee \mathfrak{B}=(H,A\times B)$, where $H(a,b)=F(a)\cup G(b)$ for all $(a,b)\in A\times B$.

We denote by ${\mathcal{S}}^{I}(U,E)$ the collection of all interval-valued fuzzy soft sets over *U* with parameter space *E*. For more details on interval-valued fuzzy soft sets and related terminologies used below, we refer to the papers [26, 27, 31]. For convenience, we abbreviate the term ‘interval-valued fuzzy’ as IVF in what follows.

There are some different types of soft inclusion relations in the literature. Here we mainly introduce two of them, namely Jun’s inclusion ${\tilde{\subseteq}}_{J}$ in [27] and Liu’s inclusion ${\tilde{\subseteq}}_{L}$ in [28]. The readers who are interested in soft subsets and related topics are referred to papers [27–29].

**Definition 2.5** [27]

Let $(\tilde{F},A)$ and $(\tilde{G},B)$ be two IVF soft sets over *U*. Then $(\tilde{F},A)$ is called a *IVF soft* *J-subset* of $(\tilde{G},B)$, denoted $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$, if for every $a\in A$ there exists $b\in B$ such that $\tilde{F}(a)\subseteq \tilde{G}(b)$. Two IVF soft sets $(\tilde{F},A)$ and $(\tilde{G},B)$ are said to be *IVF soft* *J-equal*, denoted $(\tilde{F},A){=}_{J}(\tilde{G},B)$, if $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$ and $(\tilde{G},B)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)$.

Motivated by Jun and Yang’s IVF soft *J*-subsets, Liu *et al.* [28] further introduced the following kinds of IVF soft subsets.

**Definition 2.6** [28]

Let $(\tilde{F},A)$ and $(\tilde{G},B)$ be two IVF soft sets over *U*. Then $(\tilde{F},A)$ is called a *IVF soft* *L-subset* of $(\tilde{G},B)$, denoted $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$, if for every $a\in A$ there exists $b\in B$ such that $\tilde{F}(a)=\tilde{G}(b)$. Two IVF soft sets $(\tilde{F},A)$ and $(\tilde{G},B)$ are said to be *IVF soft* *L-equal*, denoted $(\tilde{F},A){=}_{L}(\tilde{G},B)$, if $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$ and $(\tilde{G},B)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)$.

Note that ${\tilde{\subseteq}}_{J}$ and ${\tilde{\subseteq}}_{L}$ are binary relations on ${\mathcal{S}}^{I}(U,E)$, which are called *IVF soft* *J-inclusion* and *IVF soft* *L-inclusion*, respectively. The following result is easily verified in virtue of the above definitions.

**Proposition 2.7** *If* $\mathfrak{A},\mathfrak{B}\in {\mathcal{S}}^{I}(U,E)$, *then* $\mathfrak{A}\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}\mathfrak{B}\Rightarrow \mathfrak{A}\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}\mathfrak{B}$.

Two IVF soft sets $\mathfrak{A}=(\tilde{F},A)$ and $\mathfrak{B}=(\tilde{G},B)$ are said to be *identical*, denoted by $\mathfrak{A}\equiv \mathfrak{B}$, if they have the same parameter sets as well as approximate functions. That is, $A=B$ and $\tilde{F}(a)=\tilde{G}(a)$ for all $a\in A$. As an immediate consequence of Proposition 2.7 and the definition of IVF soft identical relations, we get a result as follows.

**Corollary 2.8**

*Suppose that*$\mathfrak{A}=(\tilde{F},A)$

*and*$\mathfrak{B}=(\tilde{G},B)$

*are two IVF soft sets over*

*U*.

*Then we have*

It is worth noting that all the reverse implications in Proposition 2.7 and Corollary 2.8 do not hold in general. For more details, one can refer to the discussion regarding Molodtsov’s soft sets in [28, 29].

The above-mentioned concepts are useful in characterizing some fundamental algebraic properties of soft product operations ∧ and ∨. To show this, we consider the following result.

**Theorem 2.9** [30] (Generalized commutative laws of IVF soft sets)

*Let*$(\tilde{F},A)$

*and*$(\tilde{G},B)$

*be two IVF soft sets over*

*U*.

*Then we have*

- (1)
$(\tilde{F},A)\wedge (\tilde{G},B){=}_{L}(\tilde{G},B)\wedge (\tilde{F},A)$;

- (2)
$(\tilde{F},A)\vee (\tilde{G},B){=}_{L}(\tilde{G},B)\vee (\tilde{F},A)$.

In view of results, we can see that the commutative laws do not hold in the conventional sense, which are characterized by IVF soft identical relation. Another important fact concerns algebraic properties regarding distributivity of soft product operations.

**Theorem 2.10** [30]

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\wedge (\tilde{H},C))\vee ((\tilde{G},B)\wedge (\tilde{H},C))$;

- (2)
$((\tilde{F},A)\wedge (\tilde{G},B))\vee (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\vee (\tilde{H},C))\wedge ((\tilde{G},B)\vee (\tilde{H},C))$.

In a similar fashion, Liu *et al.* [28] proposed the following distributive inequalities of IVF soft sets.

**Theorem 2.11**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$(\tilde{F},A)\wedge ((\tilde{G},B)\vee (H,C))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\wedge (\tilde{G},B))\vee ((\tilde{F},A)\wedge (\tilde{H},C))$;

- (2)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\vee (\tilde{G},B))\wedge ((\tilde{F},A)\vee (\tilde{H},C))$.

**Remark 2.12** It is interesting to point out that the soft product operations of IVF soft sets possess some non-classical algebraic properties, as shown by the above results. Comparing with interval-valued fuzzy sets, we can find that $(\mathcal{I}(U),\cap ,\cup )$ forms a distributive lattice, while only distributive inequalities (described by the IVF soft *L*-inclusion ${\tilde{\subseteq}}_{L}$) hold for IVF soft sets. Thus neither the left nor the right distributive laws hold even in the weakest sense of IVF soft *J*-equal relations.

## 3 Some basic properties of IVF soft inclusions

Here we propose several basic inequalities of IVF soft sets characterized by IVF soft inclusions, which are useful in subsequent discussions.

**Proposition 3.1** [30]

*Let*$(\tilde{F},A)$

*and*$(\tilde{G},B)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee (\tilde{G},B)$;

- (2)
$(\tilde{G},B)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee (\tilde{G},B)$;

- (3)
$(\tilde{F},A)\wedge (\tilde{G},B)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)$;

- (4)
$(\tilde{F},A)\wedge (\tilde{G},B)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$.

**Proposition 3.2** [30]

*The IVF soft* *L*-*inclusion* ${\tilde{\subseteq}}_{L}$ *is a preorder on* ${\mathcal{S}}^{I}(U,E)$.

**Proposition 3.3** [30]

*The IVF soft* *J*-*inclusion* ${\tilde{\subseteq}}_{J}$ *is a preorder on* ${\mathcal{S}}^{I}(U,E)$.

By generic properties of preorders, we can deduce the following two results.

**Corollary 3.4** *The IVF soft* *L*-*equal relation* ${=}_{L}$ *is an equivalence relation on* ${\mathcal{S}}^{I}(U,E)$.

**Corollary 3.5** *The IVF soft* *J*-*equal relation* ${=}_{J}$ *is an equivalence relation on* ${\mathcal{S}}^{I}(U,E)$.

**Proposition 3.6**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$,

*then we have*

- (1)
$(\tilde{H},C)\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\vee (\tilde{G},B)$;

- (2)
$(\tilde{H},C)\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\vee (\tilde{H},C)$;

- (3)
$(\tilde{F},A)\vee (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\vee (\tilde{H},C)$;

- (4)
$(\tilde{F},A)\vee (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\vee (\tilde{G},B)$.

*Proof*To prove the first assertion, let $(\tilde{H},C)\vee (\tilde{F},A)=(\tilde{L},C\times A)$ and $(\tilde{H},C)\vee (\tilde{G},B)=({\tilde{R}}_{1},C\times B)$. By hypothesis, we have $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$ and so for every $a\in A$ there exists $b\in B$ such that $\tilde{F}(a)=\tilde{G}(b)$. For any $(c,a)\in C\times A$, we deduce that

for some $(c,b)\in B\times C$. Hence $(\tilde{H},C)\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\vee (\tilde{G},B)$.

by transitivity of the preorder ${\tilde{\subseteq}}_{L}$ on ${\mathcal{S}}^{I}(U,E)$.

The proofs of the other two assertions can be obtained in a similar fashion and thus omitted. □

Moreover, one can easily verify a result as follows.

**Proposition 3.7**

*Let*$({\tilde{F}}_{i},{A}_{i})$, $({\tilde{G}}_{i},{B}_{i})$

*be IVF soft sets over*

*U*

*and*$i=1,2$.

*If*$({\tilde{F}}_{1},{A}_{1})\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}({\tilde{G}}_{1},{B}_{1})$

*and*$({\tilde{F}}_{2},{A}_{2})\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}({\tilde{G}}_{2},{B}_{2})$,

*then we have*

Considering ∧-product of IVF soft sets, one can verify the following results which are analogous to Proposition 3.6 and 3.7, respectively.

**Proposition 3.8**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$,

*then we have*

- (1)
$(\tilde{H},C)\wedge (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\wedge (\tilde{G},B)$;

- (2)
$(\tilde{H},C)\wedge (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\wedge (\tilde{H},C)$;

- (3)
$(\tilde{F},A)\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\wedge (\tilde{H},C)$;

- (4)
$(\tilde{F},A)\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\wedge (\tilde{G},B)$.

**Proposition 3.9**

*Let*$({\tilde{F}}_{i},{A}_{i})$, $({\tilde{G}}_{i},{B}_{i})$

*be IVF soft sets over*

*U*

*and*$i=1,2$.

*If*$({\tilde{F}}_{1},{A}_{1})\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}({\tilde{G}}_{1},{B}_{1})$

*and*$({\tilde{F}}_{2},{A}_{2})\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}({\tilde{G}}_{2},{B}_{2})$,

*then we have*

Regarding Jun’s inclusion ${\tilde{\subseteq}}_{J}$ of IVF soft sets, we obtained the following similar results in [30].

**Proposition 3.10**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)$,

*then we have*

- (1)
$(\tilde{F},A)\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\wedge (\tilde{H},C)$;

- (2)
$(\tilde{F},A)\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\wedge (\tilde{G},B)$;

- (3)
$(\tilde{H},C)\wedge (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\wedge (\tilde{G},B)$;

- (4)
$(\tilde{H},C)\wedge (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\wedge (\tilde{H},C)$;

- (5)
$(\tilde{F},A)\vee (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\vee (\tilde{H},C)$;

- (6)
$(\tilde{F},A)\vee (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\vee (\tilde{G},B)$;

- (7)
$(\tilde{H},C)\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)\vee (\tilde{G},B)$;

- (8)
$(\tilde{H},C)\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{G},B)\vee (\tilde{H},C)$.

**Proposition 3.11**

*Let*$({\tilde{F}}_{i},{A}_{i})$, $({\tilde{G}}_{i},{B}_{i})$

*be IVF soft sets over*

*U*

*and*$i=1,2$.

*If*$({\tilde{F}}_{1},{A}_{1})\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}({\tilde{G}}_{1},{B}_{1})$

*and*$({\tilde{F}}_{2},{A}_{2})\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}({\tilde{G}}_{2},{B}_{2})$,

*then we have*

*and*

## 4 Upward directed IVF soft sets and idempotency

Now, we investigate algebraic properties of soft product operations of IVF soft sets by considering idempotency. First, we recall some important results proposed by Liu *et al.* [30].

**Proposition 4.1** [30]

*Let* $(\tilde{F},A)\in {\mathcal{S}}^{I}(U,E)$. *Then* $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee (\tilde{F},A)$.

**Proposition 4.2** [30]

*Let* $(\tilde{F},A)\in {\mathcal{S}}^{I}(U,E)$. *Then* $(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{L}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\wedge (\tilde{F},A)$.

**Theorem 4.3** [30]

*Let* $(\tilde{F},A)\in {\mathcal{S}}^{I}(U,E)$. *Then* $(\tilde{F},A){=}_{J}(\tilde{F},A)\wedge (\tilde{F},A)$.

The last result indicates that the ∧-product operation of IVF soft sets is idempotent with respect to IVF soft *J*-equal relations, and is referred to as the *weak idempotent law* of IVF soft sets. Nevertheless, the parallel result regarding ∨-product operations of IVF soft sets does not hold.

which shows that the ∧-product operation of IVF soft sets is idempotent with respect to the IVF soft *J*-equal relation ${=}_{J}$, but not in the stronger sense of ${=}_{L}$. Thus considering the IVF soft *L*-inclusion ${\tilde{\subseteq}}_{L}$, we only have some idempotent inequalities as shown in Proposition 4.1 and Proposition 4.2. In view of these results, we conclude that IVF soft sets possess some non-classical algebraic properties, compared with interval-valued fuzzy sets. The interested readers could refer to [28, 30] for more details.

Recall that a nonempty set *A* together with a preorder ≤ is called an *upward directed set* if every pair of elements in *A* has an upper bound. That is, for every $a,b\in A$, there exists $c\in A$ such that $a\le c$ and $b\le c$.

**Definition 4.4**Let $(\tilde{F},A)$ be an IVF soft set over

*U*with $A\ne \mathrm{\varnothing}$. Then $(\tilde{F},A)$ is said to be

*upward directed*if for every ${a}_{1},{a}_{2}\in A$, there exists ${a}_{3}\in A$ such that

**Example 4.5**Let $U=\{a,b,c,d,e\}$ be the universe and the parameter space $E=\{{e}_{1},{e}_{2},{e}_{3},{e}_{4},{e}_{5}\}$. Assume that the parameter set $A=\{{e}_{1},{e}_{2},{e}_{4}\}$ and $\mathfrak{A}=(\tilde{F},A)$ is an IVF soft set over

*U*with tabular representation given by Table 1. By definition, one can verify that $\mathfrak{A}=(\tilde{F},A)$ is an upward directed IVF soft set over

*U*.

**Tabular representation of the IVF soft set**
$\mathfrak{A}\mathbf{=}\mathbf{(}\tilde{\mathit{F}}\mathbf{,}\mathit{A}\mathbf{)}$

U | ${\mathit{e}}_{\mathbf{1}}$ | ${\mathit{e}}_{\mathbf{2}}$ | ${\mathit{e}}_{\mathbf{4}}$ |
---|---|---|---|

| [0.4,0.5] | [0.2,0.6] | [0.5,0.8] |

| [0.2,0.6] | [0.3,0.5] | [0.3,0.7] |

| [0.3,0.4] | [0.5,0.6] | [0.6,0.7] |

| [0.5,0.7] | [0.6,0.9] | [0.7,0.9] |

| [0.2,0.6] | [0.1,0.5] | [0.4,0.8] |

The following statements justify the term *upward directed IVF soft sets* and illustrate some intuitive ideas for introducing such a notion in the theory of IVF soft sets.

**Proposition 4.6** *Let* $\mathfrak{S}=(\tilde{F},A)\in {\mathcal{S}}^{I}(U,E)$ *and* ${C}_{\mathfrak{S}}=\{\tilde{F}(a)|a\in A\}$. *Then* $\mathbb{D}$ *is an upward directed IVF soft set over* *U* *if and only if* $({C}_{\mathfrak{S}},\subseteq )$ *is an upward directed set*.

*Proof* First, suppose that $\mathfrak{S}=(\tilde{F},A)$ is an upward directed IVF soft set over *U*. Then by the definition of upward directed IVF soft sets, we have $A\ne \mathrm{\varnothing}$ and so ${C}_{\mathfrak{S}}=\{\tilde{F}(a)|a\in A\}$ is a nonempty subset of $\mathcal{I}(U)$. Moreover, for every ${a}_{1},{a}_{2}\in A$, there exists ${a}_{3}\in A$ such that $\tilde{F}({a}_{1})\cup \tilde{F}({a}_{2})\subseteq \tilde{F}({a}_{3})$. It follows that $\tilde{F}({a}_{1})\subseteq \tilde{F}({a}_{3})$ and $\tilde{F}({a}_{2})\subseteq \tilde{F}({a}_{3})$. This shows that ${C}_{\mathfrak{S}}$ is an upward directed set with respect to the partial order ⊆.

Conversely, let $({C}_{\mathfrak{S}},\subseteq )$ be an upward directed set. Then $A\ne \mathrm{\varnothing}$ since ${C}_{\mathfrak{S}}$ is nonempty. For every ${a}_{1},{a}_{2}\in A$, by the definition of upward directed sets, the pair of elements $\tilde{F}({a}_{1})$ and $\tilde{F}({a}_{2})$ has an upper bound in ${C}_{\mathfrak{S}}$. Hence there exists ${a}_{3}\in A$ such that $\tilde{F}({a}_{1})\subseteq \tilde{F}({a}_{3})$ and $\tilde{F}({a}_{2})\subseteq \tilde{F}({a}_{3})$. It follows that $\tilde{F}({a}_{1})\cup \tilde{F}({a}_{2})\subseteq \tilde{F}({a}_{3})$. Therefore, $\mathfrak{S}=(\tilde{F},A)$ is an upward directed IVF soft set over *U*. □

**Proposition 4.7** *Let* $(\tilde{F},A)\in {\mathcal{S}}^{I}(U,E)$ *and* $A\ne \mathrm{\varnothing}$. *Then* $(\tilde{F},A)$ *is an upward directed IVF soft set over* *U* *if and only if* $(\tilde{F},A){=}_{J}(\tilde{F},A)\vee (\tilde{F},A)$.

*Proof*Let us denote $(\tilde{F},A)\vee (\tilde{F},A)$ by $(\tilde{R},A\times A)$. First, assume that $(\tilde{F},A)$ is an upward directed IVF soft set over

*U*. For every $({a}_{1},{a}_{2})\in A\times A$, there exists ${a}_{3}\in A$ such that

Hence we deduce that $(\tilde{F},A){=}_{J}(\tilde{F},A)\vee (\tilde{F},A)$.

Hence by definition, $(\tilde{F},A)$ is an upward directed IVF soft set over *U*. □

**Corollary 4.8**

*Let*$\mathfrak{S}=(\tilde{F},A)\in {\mathcal{S}}^{I}(U,E)$

*and*$A\ne \mathrm{\varnothing}$.

*Then the following are equivalent*:

- (1)
$\mathbb{D}$

*is an upward directed IVF soft set over**U*. - (2)
${C}_{\mathfrak{S}}=\{\tilde{F}(a)|a\in A\}$

*is an upward directed set with respect to*⊆. - (3)
$(\tilde{F},A)\vee (\tilde{F},A){=}_{J}(\tilde{F},A)$.

- (4)
$(\tilde{F},A)\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)$.

*Proof*According to Proposition 4.6 and Proposition 4.7, we have (1) ⇔ (2) and (1) ⇔ (3), respectively. Thus we only need to show that (1) ⇔ (4). In fact, let us denote $(\tilde{F},A)\vee (\tilde{F},A)$ by $(\tilde{G},A\times A)$. Then by Definition 4.4, $(\tilde{F},A)$ is an upward directed IVF soft set over

*U*if and only if for every ${a}_{1},{a}_{2}\in A$, there exists ${a}_{3}\in A$ such that

Clearly, this is equivalent to $(\tilde{G},A\times A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)$, completing our proof. □

## 5 Modular inequalities of IVF soft sets

*μ*,

*ν*,

*λ*, one can deduce that

*modular law*

holds for all $\mu ,\nu ,\lambda \in \mathcal{I}(U)$ since $(\mathcal{I}(U),\cap ,\cup )$ forms a distributive lattice. Considering IVF soft sets and soft product operations, we encounter a situation in contrast to the above. First, we have following types of modular inequalities of IVF soft sets.

**Theorem 5.1**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

*Proof*By the distributive inequalities in Theorem 2.10, we have

which completes the proof. □

It is interesting to see that the reverse soft *J*-inclusion does not hold in general. Actually we will illustrate this fact with an example in the following. Using the generalized commutative laws of IVF soft sets in Theorem 2.9, we have the following consequences of Theorem 5.1.

**Corollary 5.2**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))$;

- (2)
$((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))$;

- (3)
$((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))$.

*Proof*We only prove the first soft

*J*-inclusion; the proofs of other soft

*J*-inclusions can be obtained using similar techniques. Note first that

since ${\tilde{\subseteq}}_{J}$ is transitive on ${\mathcal{S}}^{I}(U,E)$. □

In a similar fashion, one can verify the following statements.

**Corollary 5.3**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))$;

- (2)
$(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))$;

- (3)
$(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))$;

- (4)
$(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))$.

**Corollary 5.4**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)$;

- (2)
$(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)$;

- (3)
$(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)$;

- (4)
$(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)$.

**Corollary 5.5**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*Then we have*

- (1)
$((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)$;

- (2)
$((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)$;

- (3)
$((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)$;

- (4)
$((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)$.

**Theorem 5.6**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$,

*then we have*

*Proof*By the distributive inequalities in Theorem 2.11, we have

by transitivity of the preorder ${\tilde{\subseteq}}_{J}$ on ${\mathcal{S}}^{I}(U,E)$. □

**Example 5.7**Suppose that $U=\{{h}_{1},{h}_{2},{h}_{3},{h}_{4},{h}_{5},{h}_{6}\}$ is the universe and $E=\{{e}_{1},{e}_{2},{e}_{3},{e}_{4},{e}_{5}\}$ is the parameter space. For the parameter sets $A=\{{e}_{1},{e}_{2}\}$, $B=\{{e}_{3}\}$, and $C=\{{e}_{4},{e}_{5}\}$, let $\mathfrak{S}=(\tilde{F},A)$, $\mathfrak{T}=(\tilde{G},B)$, and $\mathfrak{K}=(\tilde{H},C)$ be three IVF soft sets over

*U*, where

**Tabular representation of the IVF soft set**
$\mathfrak{L}\mathbf{=}\mathbf{(}\tilde{\mathit{L}}\mathbf{,}\mathit{A}\mathbf{\times}\mathbf{(}\mathit{B}\mathbf{\times}\mathit{C}\mathbf{)}\mathbf{)}$

U | ${\mathit{h}}_{\mathbf{1}}$ | ${\mathit{h}}_{\mathbf{2}}$ | ${\mathit{h}}_{\mathbf{3}}$ | ${\mathit{h}}_{\mathbf{4}}$ | ${\mathit{h}}_{\mathbf{5}}$ | ${\mathit{h}}_{\mathbf{6}}$ |
---|---|---|---|---|---|---|

$({e}_{1},({e}_{3},{e}_{4}))$ | [0.5,0.8] | [0.2,0.5] | [0.2,0.4] | [0.8,0.9] | [0.3,0.5] | [0.2,0.6] |

$({e}_{1},({e}_{3},{e}_{5}))$ | [0.4,0.7] | [0.3,0.7] | [0.3,0.5] | [0.8,0.9] | [0.4,0.5] | [0.2,0.6] |

$({e}_{2},({e}_{3},{e}_{4}))$ | [0.5,0.8] | [0.2,0.6] | [0.5,0.7] | [0.6,0.9] | [0.6,0.7] | [0.4,0.5] |

$({e}_{2},({e}_{3},{e}_{5}))$ | [0.4,0.6] | [0.3,0.7] | [0.5,0.7] | [0.6,0.9] | [0.6,0.7] | [0.4,0.5] |

**Tabular representation of the IVF soft set**
$\mathfrak{N}\mathbf{=}\mathbf{(}\tilde{\mathit{N}}\mathbf{,}\mathit{C}\mathbf{\times}\mathit{C}\mathbf{)}$

U | ${\mathit{h}}_{\mathbf{1}}$ | ${\mathit{h}}_{\mathbf{2}}$ | ${\mathit{h}}_{\mathbf{3}}$ | ${\mathit{h}}_{\mathbf{4}}$ | ${\mathit{h}}_{\mathbf{5}}$ | ${\mathit{h}}_{\mathbf{6}}$ |
---|---|---|---|---|---|---|

$({e}_{4},{e}_{4})$ | [0.8,0.9] | [0.2,0.5] | [0.2,0.4] | [0.8,0.9] | [0.3,0.5] | [0.3,0.6] |

$({e}_{4},{e}_{5})$ | [0.8,0.9] | [0.3,0.7] | [0.6,0.8] | [0.8,0.9] | [0.7,0.8] | [0.5,0.7] |

$({e}_{5},{e}_{4})$ | [0.8,0.9] | [0.3,0.7] | [0.6,0.8] | [0.8,0.9] | [0.7,0.8] | [0.5,0.7] |

$({e}_{5},{e}_{5})$ | [0.4,0.6] | [0.3,0.7] | [0.6,0.8] | [0.8,0.9] | [0.7,0.8] | [0.5,0.7] |

**Tabular representation of the IVF soft set**
$\mathfrak{R}\mathbf{=}\mathbf{(}\tilde{\mathit{R}}\mathbf{,}\mathbf{(}\mathit{A}\mathbf{\times}\mathit{B}\mathbf{)}\mathbf{\times}\mathbf{(}\mathit{C}\mathbf{\times}\mathit{C}\mathbf{)}\mathbf{)}$

U | ${\mathit{h}}_{\mathbf{1}}$ | ${\mathit{h}}_{\mathbf{2}}$ | ${\mathit{h}}_{\mathbf{3}}$ | ${\mathit{h}}_{\mathbf{4}}$ | ${\mathit{h}}_{\mathbf{5}}$ | ${\mathit{h}}_{\mathbf{6}}$ |
---|---|---|---|---|---|---|

$(({e}_{1},{e}_{3}),({e}_{4},{e}_{4}))$ | [0.5,0.8] | [0.2,0.5] | [0.2,0.4] | [0.8,0.9] | [0.3,0.5] | [0.2,0.6] |

$(({e}_{1},{e}_{3}),({e}_{4},{e}_{5}))$ | [0.5,0.8] | [0.3,0.7] | [0.3,0.5] | [0.8,0.9] | [0.4,0.5] | [0.2,0.6] |

$(({e}_{1},{e}_{3}),({e}_{5},{e}_{4}))$ | [0.5,0.8] | [0.3,0.7] | [0.3,0.5] | [0.8,0.9] | [0.4,0.5] | [0.2,0.6] |

$(({e}_{1},{e}_{3}),({e}_{5},{e}_{5}))$ | [0.4,0.6] | [0.3,0.7] | [0.3,0.5] | [0.8,0.9] | [0.4,0.5] | [0.2,0.6] |

$(({e}_{2},{e}_{3}),({e}_{4},{e}_{4}))$ | [0.5,0.8] | [0.2,0.5] | [0.2,0.4] | [0.6,0.9] | [0.3,0.5] | [0.3,0.5] |

$(({e}_{2},{e}_{3}),({e}_{4},{e}_{5}))$ | [0.5,0.8] | [0.3,0.7] | [0.5,0.7] | [0.6,0.9] | [0.6,0.7] | [0.4,0.5] |

$(({e}_{2},{e}_{3}),({e}_{5},{e}_{4}))$ | [0.5,0.8] | [0.3,0.7] | [0.5,0.7] | [0.6,0.9] | [0.6,0.7] | [0.4,0.5] |

$(({e}_{2},{e}_{3}),({e}_{5},{e}_{5}))$ | [0.4,0.6] | [0.3,0.7] | [0.5,0.7] | [0.6,0.9] | [0.6,0.7] | [0.4,0.5] |

**Tabular representation of the IVF soft set**
${\mathfrak{R}}_{\mathbf{1}}\mathbf{=}\mathbf{(}{\tilde{\mathit{R}}}_{\mathbf{1}}\mathbf{,}\mathbf{(}\mathit{A}\mathbf{\times}\mathit{B}\mathbf{)}\mathbf{\times}\mathit{C}\mathbf{)}$

U | ${\mathit{h}}_{\mathbf{1}}$ | ${\mathit{h}}_{\mathbf{2}}$ | ${\mathit{h}}_{\mathbf{3}}$ | ${\mathit{h}}_{\mathbf{4}}$ | ${\mathit{h}}_{\mathbf{5}}$ | ${\mathit{h}}_{\mathbf{6}}$ |
---|---|---|---|---|---|---|

$(({e}_{1},{e}_{3}),{e}_{4})$ | [0.5,0.8] | [0.2,0.5] | [0.2,0.4] | [0.8,0.9] | [0.3,0.5] | [0.2,0.6] |

$(({e}_{1},{e}_{3}),{e}_{5})$ | [0.4,0.6] | [0.3,0.7] | [0.3,0.5] | [0.8,0.9] | [0.4,0.5] | [0.2,0.6] |

$(({e}_{2},{e}_{3}),{e}_{4})$ | [0.5,0.8] | [0.2,0.5] | [0.2,0.4] | [0.6,0.9] | [0.3,0.5] | [0.3,0.5] |

$(({e}_{2},{e}_{3}),{e}_{5})$ | [0.4,0.6] | [0.3,0.7] | [0.5,0.7] | [0.6,0.9] | [0.6,0.7] | [0.4,0.5] |

does not hold in general.

**Remark 5.8** In view of Theorem 5.1, Theorem 5.6 and Example 5.7, we can find that under soft product operations, IVF soft sets possess some interesting algebraic properties which differ from those of interval-valued fuzzy sets. In particular, one can see that usual modular inequalities in lattice theory are not valid for IVF soft sets.

Using the generalized commutative laws of IVF soft sets in Theorem 2.9, we have the following consequences of Theorem 5.6.

**Corollary 5.9**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$,

*then we have*

- (1)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\vee (\tilde{G},B))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$;

- (2)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\vee (\tilde{F},A))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$;

- (3)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\vee (\tilde{F},A))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$.

*Proof*We only verify the first assertion; the proofs of the others can be obtained in a similar fashion. First, by the generalized commutative laws of IVF soft sets, we also know that

by transitivity of the preorder ${\tilde{\subseteq}}_{J}$ on ${\mathcal{S}}^{I}(U,E)$. □

Using similar techniques as above, we obtain the following results.

**Corollary 5.10**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$,

*then we have*

- (1)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (2)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (3)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{F},A)\vee (\tilde{G},B))$;

- (4)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B))\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{F},A)\vee (\tilde{G},B))$.

**Corollary 5.11**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$,

*then we have*

- (1)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (2)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (3)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{F},A)\vee (\tilde{G},B))$;

- (4)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{H},C)\vee (\tilde{H},C))\wedge ((\tilde{F},A)\vee (\tilde{G},B))$.

**Corollary 5.12**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$,

*then we have*

- (1)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\vee (\tilde{F},A))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$;

- (2)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{G},B)\vee (\tilde{F},A))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$;

- (3)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\vee (\tilde{G},B))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$;

- (4)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}((\tilde{F},A)\vee (\tilde{G},B))\wedge ((\tilde{H},C)\vee (\tilde{H},C))$.

**Theorem 5.13**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$

*and*$(\tilde{H},C)$

*is upward directed*,

*then we have*

*Proof*First, according to Theorem 5.6,

completing the proof. □

Using the generalized commutative laws of IVF soft sets in Theorem 2.9, we have the following consequences of Theorem 5.13.

**Corollary 5.14**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$

*and*$(\tilde{H},C)$

*is upward directed*,

*then we have*

- (1)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B)){=}_{J}((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)$;

- (2)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B)){=}_{J}((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)$;

- (3)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C)){=}_{J}((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)$.

*Proof*By the generalized commutative laws of IVF soft sets, we have

by transitivity of IVF soft *J*-equal relations. The proofs of other soft *J*-equalities can be obtained using similar techniques. □

The proofs of the following results are similar to that of Corollary 5.14 and thus omitted.

**Corollary 5.15**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$

*and*$(\tilde{H},C)$

*is upward directed*,

*then we have*

- (1)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A){=}_{J}((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)$;

- (2)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A){=}_{J}((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)$;

- (3)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A){=}_{J}((\tilde{G},B)\vee (\tilde{F},A))\wedge (\tilde{H},C)$;

- (4)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A){=}_{J}((\tilde{F},A)\vee (\tilde{G},B))\wedge (\tilde{H},C)$.

**Corollary 5.16**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$

*and*$(\tilde{H},C)$

*is upward directed*,

*then we have*

- (1)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A){=}_{J}(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))$;

- (2)
$((\tilde{H},C)\wedge (\tilde{G},B))\vee (\tilde{F},A){=}_{J}(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (3)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A){=}_{J}(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (4)
$((\tilde{G},B)\wedge (\tilde{H},C))\vee (\tilde{F},A){=}_{J}(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))$.

**Corollary 5.17**

*Let*$(\tilde{F},A)$, $(\tilde{G},B)$,

*and*$(\tilde{H},C)$

*be IVF soft sets over*

*U*.

*If*$(\tilde{F},A)\phantom{\rule{0.2em}{0ex}}{\tilde{\subseteq}}_{J}\phantom{\rule{0.2em}{0ex}}(\tilde{H},C)$

*and*$(\tilde{H},C)$

*is upward directed*,

*then we have*

- (1)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B)){=}_{J}(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))$;

- (2)
$(\tilde{F},A)\vee ((\tilde{H},C)\wedge (\tilde{G},B)){=}_{J}(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (3)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C)){=}_{J}(\tilde{H},C)\wedge ((\tilde{G},B)\vee (\tilde{F},A))$;

- (4)
$(\tilde{F},A)\vee ((\tilde{G},B)\wedge (\tilde{H},C)){=}_{J}(\tilde{H},C)\wedge ((\tilde{F},A)\vee (\tilde{G},B))$.

## 6 Conclusions

This paper focused on exploring modular inequalities of IVF soft sets characterized by Jun’s soft *J*-inclusions. It has been shown that Jun’s soft *J*-inclusions and Liu’s soft *L*-inclusions are preorders; hence the soft equal relations ${=}_{J}$ and ${=}_{L}$ derived from them are equivalence relations on the collection ${\mathcal{S}}^{I}(U,E)$ of all IVF soft sets over *U* with parameter space *E*. These soft inclusions proved to be useful in characterizing some fundamental algebraic properties of soft product operations. Moreover, upward directed IVF soft sets were introduced and some equivalent characterizations were presented. We finally considered modular laws in lattice theory and proposed modular inequalities of IVF soft sets using soft *J*-inclusions and some related notions mentioned above. As future work, we will further investigate other types of interesting inequalities of IVF soft sets.

## Declarations

### Acknowledgements

The authors are highly grateful to the anonymous referees for their insightful comments and valuable suggestions which greatly improve the quality of this paper. This work was partially supported by National Natural Science Foundation of China (Program No. 11301415), Natural Science Basic Research Plan in Shaanxi Province of China (Program No. 2013JQ1020), Shaanxi Provincial Research Plan for Young Scientific and Technological New Stars (Program No. 2014KJXX-73) and Scientific Research Program Funded by Shaanxi Provincial Education Department of China (Program No. 2013JK1098).

## Authors’ Affiliations

## References

- Zadeh LA:
**Fuzzy sets.***Inf. Control*1965,**8:**338-353. 10.1016/S0019-9958(65)90241-XMathSciNetView ArticleMATHGoogle Scholar - Pawlak Z:
**Rough sets.***Int. J. Comput. Inf. Sci.*1982,**11:**341-356. 10.1007/BF01001956MathSciNetView ArticleMATHGoogle Scholar - Molodtsov DA:
**Soft set theory-first results.***Comput. Math. Appl.*1999,**37:**19-31.MathSciNetView ArticleMATHGoogle Scholar - Aktaş H, Çağman N:
**Soft sets and soft groups.***Inf. Sci.*2007,**177:**2726-2735. 10.1016/j.ins.2006.12.008View ArticleMathSciNetMATHGoogle Scholar - Jun YB, Park CH:
**Applications of soft sets in ideal theory of BCK/BCI-algebras.***Inf. Sci.*2008,**178:**2466-2475.MathSciNetMATHGoogle Scholar - Jun YB, Lee KJ, Zhan J:
**Soft**p**-ideals of soft BCI-algebras.***Comput. Math. Appl.*2009,**58:**2060-2068. 10.1016/j.camwa.2009.07.072MathSciNetView ArticleMATHGoogle Scholar - Jun YB, Lee KJ, Khan A:
**Soft ordered semigroups.***Math. Log. Q.*2010,**56:**42-50. 10.1002/malq.200810030MathSciNetView ArticleMATHGoogle Scholar - Jun YB, Song SZ, So KS:
**Soft set theory applied to**p**-ideals of BCI-algebras related to fuzzy points.***Neural Comput. Appl.*2011,**20:**1313-1320. 10.1007/s00521-010-0460-yView ArticleGoogle Scholar - Atagün AO, Sezgin A:
**Soft substructures of rings, fields and modules.***Comput. Math. Appl.*2011,**61:**592-601. 10.1016/j.camwa.2010.12.005MathSciNetView ArticleMATHGoogle Scholar - Akram M, Alshehri NO, Alghamdi RS:
**Fuzzy soft**K**-algebras.***Util. Math.*2013,**90:**307-325.MathSciNetMATHGoogle Scholar - Akram M:
**Bipolar fuzzy soft Lie algebras.***Quasigr. Relat. Syst.*2013,**21:**1-10.MathSciNetMATHGoogle Scholar - Yaqoob N, Akram M, Aslam M:
**Intuitionistic fuzzy soft groups induced by**$(t,s)$**-norm.***Indian J. Inf. Sci. Technol.*2013,**6:**4282-4289.Google Scholar - Shabir M, Naz M:
**On soft topological spaces.***Comput. Math. Appl.*2011,**61:**1786-1799. 10.1016/j.camwa.2011.02.006MathSciNetView ArticleMATHGoogle Scholar - Zou Y, Xiao Z:
**Data analysis approaches of soft sets under incomplete information.***Knowl.-Based Syst.*2008,**21:**941-945. 10.1016/j.knosys.2008.04.004View ArticleGoogle Scholar - Çağman N, Enginoğlu S:
**Soft set theory and**$uni$**-**$int$**decision making.***Eur. J. Oper. Res.*2010,**207:**848-855. 10.1016/j.ejor.2010.05.004View ArticleMathSciNetMATHGoogle Scholar - Qin KY, Hong ZY:
**On soft equality.***J. Comput. Appl. Math.*2010,**234:**1347-1355. 10.1016/j.cam.2010.02.028MathSciNetView ArticleMATHGoogle Scholar - Gong K, Xiao Z, Zhang X:
**Exclusive disjunctive soft sets.***Comput. Math. Appl.*2010,**60:**2270-2278. 10.1016/j.camwa.2010.08.017MathSciNetView ArticleMATHGoogle Scholar - Ali MI, Feng F, Liu XY, Min WK, Shabir M:
**On some new operations in soft set theory.***Comput. Math. Appl.*2009,**57:**1547-1553. 10.1016/j.camwa.2008.11.009MathSciNetView ArticleMATHGoogle Scholar - Ali MI, Shabir M, Naz M:
**Algebraic structures of soft sets associated with new operations.***Comput. Math. Appl.*2011,**61:**2647-2654. 10.1016/j.camwa.2011.03.011MathSciNetView ArticleMATHGoogle Scholar - Ali MI:
**A note on soft sets, rough soft sets and fuzzy soft sets.***Appl. Soft Comput.*2011,**11:**3329-3332. 10.1016/j.asoc.2011.01.003View ArticleGoogle Scholar - Feng F, Liu XY, Leoreanu-Fotea V, Jun YB:
**Soft sets and soft rough sets.***Inf. Sci.*2011,**181:**1125-1137. 10.1016/j.ins.2010.11.004MathSciNetView ArticleMATHGoogle Scholar - Feng F, Li CX, Davvaz B, Irfan Ali M:
**Soft sets combined with fuzzy sets and rough sets: a tentative approach.***Soft Comput.*2010,**14:**899-911. 10.1007/s00500-009-0465-6View ArticleMATHGoogle Scholar - Maji PK, Biswas R, Roy AR:
**Soft set theory.***Comput. Math. Appl.*2003,**45:**555-562. 10.1016/S0898-1221(03)00016-6MathSciNetView ArticleMATHGoogle Scholar - Majumdar P, Samanta SK:
**Generalised fuzzy soft sets.***Comput. Math. Appl.*2010,**59:**1425-1432. 10.1016/j.camwa.2009.12.006MathSciNetView ArticleMATHGoogle Scholar - Maji PK, Biswas R, Roy AR:
**Fuzzy soft sets.***J. Fuzzy Math.*2001,**9:**589-602.MathSciNetMATHGoogle Scholar - Yang XB, Lin TY, Yang JY, Li Y, Yu DJ:
**Combination of interval-valued fuzzy set and soft set.***Comput. Math. Appl.*2009,**58:**521-527. 10.1016/j.camwa.2009.04.019MathSciNetView ArticleMATHGoogle Scholar - Jun YB, Yang X:
**A note on the paper ‘Combination of interval-valued fuzzy set and soft set’ [Comput. Math. Appl. 58 (2009) 521-527].***Comput. Math. Appl.*2011,**61:**1468-1470. 10.1016/j.camwa.2010.12.077MathSciNetView ArticleGoogle Scholar - Liu XY, Feng F, Jun YB:
**A note on generalized soft equal relations.***Comput. Math. Appl.*2012,**64:**572-578. 10.1016/j.camwa.2011.12.052MathSciNetView ArticleMATHGoogle Scholar - Feng F, Li YM:
**Soft subsets and soft product operations.***Inf. Sci.*2013,**232:**44-57.View ArticleMathSciNetMATHGoogle Scholar - Liu XY, Feng F, Zhang H:
**On some nonclassical algebraic properties of interval-valued fuzzy soft sets.***Sci. World J.*2014. Article ID 192957,**2014:**Article ID 192957Google Scholar - Feng F, Li YM, Leoreanu-Fotea V:
**Application of level soft sets in decision making based on interval-valued fuzzy soft sets.***Comput. Math. Appl.*2010,**60:**1756-1767. 10.1016/j.camwa.2010.07.006MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.