Length-Fuzzy Subalgebras in BCK/BCI-Algebras

Abstract

As a generalization of interval-valued fuzzy sets and fuzzy sets, the concept of hyperfuzzy sets was introduced by Ghosh and Samanta in the paper [J. Ghosh and T.K. Samanta, Hyperfuzzy sets and hyperfuzzy group, Int. J. Advanced Sci Tech. 41 (2012), 27–37]. The aim of this manuscript is to introduce the length-fuzzy set and apply it to $BCK/BCI$-algebras. The notion of length-fuzzy subalgebras in $BCK/BCI$-algebras is introduced, and related properties are investigated. Characterizations of a length-fuzzy subalgebra are discussed. Relations between length-fuzzy subalgebras and hyperfuzzy subalgebras are established.

1. Introduction

Fuzzy set theory was firstly introduced by Zadeh [1] and opened a new path of thinking to mathematicians, physicists, chemists, engineers and many others due to its diverse applications in various fields. Algebraic hyperstructure, which was introduced by the French mathematician Marty [2], represents a natural extension of classical algebraic structures. Since then, many papers and several books have been written in this area. Nowadays, hyperstructures have a lot of applications in several domains of mathematics and computer science. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. The study of fuzzy hyperstructures is an interesting research area of fuzzy sets. As a generalization of fuzzy sets and interval-valued fuzzy sets, Ghosh and Samanta [3] introduced the notion of hyperfuzzy sets, and applied it to group theory. Jun et al. [4] applied the hyperfuzzy sets to $BCK/BCI$-algebras, and introduced the notion of k-fuzzy substructures for $k\in \{1,2,3,4\}$. They introduced the concepts of hyperfuzzy substructures of several types by using k-fuzzy substructures, and investigated their basic properties. They also defined hyperfuzzy subalgebras of type $(i,j)$ for $i,j\in \{1,2,3,4\}$, and discussed relations between the hyperfuzzy substructure/subalgebra and its length. They investigated the properties of hyperfuzzy subalgebras related to upper- and lower-level subsets.

In this paper, we introduce the length-fuzzy subalgebra in $BCK/BCI$-algebras based on hyperfuzzy structures, and investigate several properties.

2. Preliminaries

By a $BCI$-algebra we mean a system $X:=(X,\ast ,0)\in K\left(\tau \right)$ in which the following axioms hold:

(I)

$\left(\right(x\ast y)\ast (x\ast z\left)\right)\ast (z\ast y)=0,$

(II)

$(x\ast (x\ast y\left)\right)\ast y=0,$

(III)

$x\ast x=0,$

(IV)

$x\ast y=y\ast x=0\Rightarrow x=y,$

for all $x,y,z\in X.$ If a $BCI$-algebra X satisfies $0\ast x=0$ for all $x\in X,$ then we say that X is a $BCK$-algebra. We can define a partial ordering ≤ by

$$(\forall x,y\in X)(x\le y⟺x\ast y=0).$$

In a $BCK/BCI$-algebra X, the following hold:

$$\begin{array}{c}(\forall x\in X)(x\ast 0=x),\hfill \end{array}$$

(1)

$$\begin{array}{c}(\forall x,y,z\in X)\left(\right(x\ast y)\ast z=(x\ast z)\ast y).\hfill \end{array}$$

(2)

A non-empty subset S of a $BCK/BCI$-algebra X is called a subalgebra of X if $x\ast y\in S$ for all $x,y\in S$.

We refer the reader to the books [5,6] for further information regarding $BCK/BCI$-algebras.

An ordered pair $(X,\rho )$ of a nonempty set X and a fuzzy set $\rho$ on X is called a fuzzy structure over X.

Let X be a nonempty set. A mapping $\tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right)$ is called a hyperfuzzy set over X (see [3]), where $\tilde{\mathcal{P}}\left([0,1]\right)$ is the family of all nonempty subsets of $[0,1]$. An ordered pair $(X,\tilde{\mu })$ is called a hyper structure over X.

Given a hyper structure $(X,\tilde{\mu })$ over a nonempty set X, we consider two fuzzy structures $(X,{\tilde{\mu }}_{inf})$ and $(X,{\tilde{\mu }}_{sup})$ over X in which

$$\begin{array}{c}{\tilde{\mu }}_{inf}:X\to [0,1],x\mapsto inf\left\{\tilde{\mu }\left(x\right)\right\},\hfill \\ {\tilde{\mu }}_{sup}:X\to [0,1],x\mapsto sup\left\{\tilde{\mu }\left(x\right)\right\}.\hfill \end{array}$$

Given a nonempty set X, let ${\mathcal{B}}_K\left(X\right)$ and ${\mathcal{B}}_I\left(X\right)$ denote the collection of all $BCK$-algebras and all $BCI$-algebras, respectively. Also, $\mathcal{B}\left(X\right):={\mathcal{B}}_K\left(X\right)\cup {\mathcal{B}}_I\left(X\right)$.

Definition 1.

[4] For any $(X,\ast ,0)\in \mathcal{B}\left(X\right)$, a fuzzy structure $(X,\mu )$ over $(X,\ast ,0)$ is called a

• fuzzy subalgebra of $(X,\ast ,0)$ with type 1 (briefly, 1-fuzzy subalgebra of $(X,\ast ,0)$) if

  $$\begin{array}{c}\hfill (\forall x,y\in X)\left(\mu (x\ast y)\ge min\left\{\mu \right(x),\mu (y\left)\right\}\right),\end{array}$$

  (3)
• fuzzy subalgebra of $(X,\ast ,0)$ with type 2 (briefly, 2-fuzzy subalgebra of $(X,\ast ,0)$) if

  $$\begin{array}{c}\hfill (\forall x,y\in X)\left(\mu (x\ast y)\le min\left\{\mu \right(x),\mu (y\left)\right\}\right),\end{array}$$

  (4)
• fuzzy subalgebra of $(X,\ast ,0)$ with type 3 (briefly, 3-fuzzy subalgebra of $(X,\ast ,0)$) if

  $$\begin{array}{c}\hfill (\forall x,y\in X)\left(\mu (x\ast y)\ge max\left\{\mu \right(x),\mu (y\left)\right\}\right),\end{array}$$

  (5)
• fuzzy subalgebra of $(X,\ast ,0)$ with type 4 (briefly, 4-fuzzy subalgebra of $(X,\ast ,0)$) if

  $$\begin{array}{c}\hfill (\forall x,y\in X)\left(\mu (x\ast y)\le max\left\{\mu \right(x),\mu (y\left)\right\}\right).\end{array}$$

  (6)

It is clear that every 3-fuzzy subalgebra is a 1-fuzzy subalgebra and every 2-fuzzy subalgebra is a 4-fuzzy subalgebra.

Definition 2.

[4] For any $(X,\ast ,0)\in \mathcal{B}\left(X\right)$ and $i,j\in \{1,2,3,4\}$, a hyper structure $(X,\tilde{\mu })$ over $(X,\ast ,0)$ is called an $(i,j)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ if $(X,{\tilde{\mu }}_{inf})$ is an i-fuzzy subalgebra of $(X,\ast ,0)$ and $(X,{\tilde{\mu }}_{sup})$ is a j-fuzzy subalgebra of $(X,\ast ,0)$.

3. Length-Fuzzy Subalgebras

In what follows, let $(X,\ast ,0)\in \mathcal{B}\left(X\right)$ unless otherwise specified.

Definition 3.

[4] Given a hyper structure $(X,\tilde{\mu })$ over $(X,\ast ,0)$, we define

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }:X\to [0,1],x\mapsto {\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right),\end{array}$$

(7)

which is called the length of $\tilde{\mu }$.

Definition 4.

A hyper structure $(X,\tilde{\mu })$ over $(X,\ast ,0)$ is called a length 1-fuzzy (resp. 2-fuzzy, 3-fuzzy and 4-fuzzy) subalgebra of $(X,\ast ,0)$ if ${\tilde{\mu }}_{\ell }$ satisfies the condition (3) (resp. (4)–(6)).

Example 1.

Consider a $BCK$-algebra $X=\{0,1,2,3,4\}$ with the binary operation ∗ which is given in

Table 1. Cayley table for the binary operation “∗“.

∗	0	1	2	3	4
0	0	0	0	0	0
1	1	0	1	0	0
2	2	2	0	0	0
3	3	3	3	0	0
4	4	3	4	1	0

(see [6]).

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $\tilde{\mu }$ is given as follows:

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}[0.2,0.4)\cup [0.5,0.8)\hfill & \mathrm{if}x=0,\hfill \\ (0.5,0.9]\hfill & \mathrm{if}x=1,\hfill \\ [0.1,0.3]\cup (0.4,0.6]\hfill & \mathrm{if}x=2,\hfill \\ [0.6,0.9]\hfill & \mathrm{if}x=3,\hfill \\ [0.3,0.5]\hfill & \mathrm{if}x=4.\hfill \end{array}\right.\end{array}$$

Then, the length of $\tilde{\mu }$ is given by

Table 2. The length of $(X,\tilde{\mu })$.

X	0	1	2	3	4
${\tilde{\mu }}_{\ell }$	$0.6$	$0.4$	$0.5$	$0.3$	$0.2$

.

It is routine to verify that $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

Proposition 1.

If $(X,\tilde{\mu })$ is a length k-fuzzy subalgebra of $(X,\ast ,0)$ for $k=1,3$, then ${\tilde{\mu }}_{\ell }\left(0\right)\ge {\tilde{\mu }}_{\ell }\left(x\right)$ for all $x\in X$.

Proof. 

Let $(X,\tilde{\mu })$ be a length 1-fuzzy subalgebra of $(X,\ast ,0)$. Then,

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }\left(0\right)={\tilde{\mu }}_{\ell }(x\ast x)\ge min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(x\right)\}={\tilde{\mu }}_{\ell }\left(x\right)\end{array}$$

(8)

for all $x\in X$. If $(X,\tilde{\mu })$ is a length 3-fuzzy subalgebra of $(X,\ast ,0)$, then

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }\left(0\right)={\tilde{\mu }}_{\ell }(x\ast x)\ge max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(x\right)\}={\tilde{\mu }}_{\ell }\left(x\right)\end{array}$$

(9)

for all $x\in X$. ☐

Proposition 2.

If $(X,\tilde{\mu })$ is a length k-fuzzy subalgebra of $(X,\ast ,0)$ for $k=2,4$, then ${\tilde{\mu }}_{\ell }\left(0\right)\le {\tilde{\mu }}_{\ell }\left(x\right)$ for all $x\in X$.

Proof. 

It is similar to the proof of Proposition 1. ☐

Theorem 1.

Given a subalgebra A of $(X,\ast ,0)$ and $B_1,B_2\in \tilde{\mathcal{P}}\left([0,1]\right)$, let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ given by

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}{B}_2\hfill & \mathrm{if}x\in A,\hfill \\ B_1\hfill & \mathrm{otherwise}.\hfill \end{array}\right.\end{array}$$

(10)

If $B_1⊊B_2$, then $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$. Also, if $B_1⊋B_2$, then $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$.

Proof. 

If $x\in A$, then $\tilde{\mu }\left(x\right)=B_2$ and so

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }\left(x\right)={\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right)=sup\left\{\tilde{\mu }\left(x\right)\right\}-inf\left\{\tilde{\mu }\left(x\right)\right\}=sup\left\{B_2\right\}-inf\left\{B_2\right\}.\end{array}$$

If $x\notin A$, then $\tilde{\mu }\left(x\right)=B_1$ and so

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }\left(x\right)={\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right)=sup\left\{\tilde{\mu }\left(x\right)\right\}-inf\left\{\tilde{\mu }\left(x\right)\right\}=sup\left\{B_1\right\}-inf\left\{B_1\right\}.\end{array}$$

Assume that $B_1⊊B_2$. Then, $sup\left\{B_2\right\}-inf\left\{B_2\right\}\ge sup\left\{B_1\right\}-inf\left\{B_1\right\}$. Let $x,y\in X$. If $x,y\in A$, then $x\ast y\in A$ and so

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)=sup\left\{B_2\right\}-inf\left\{B_2\right\}=min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}.\end{array}$$

If $x,y\notin A$, then ${\tilde{\mu }}_{\ell }(x\ast y)\ge sup\left\{B_1\right\}-inf\left\{B_1\right\}=min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}$. Suppose that $x\in A$ and $y\notin A$ (or, $x\notin A$ and $y\in A$). Then,

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)\ge sup{B}_1-inf{B}_1=min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}.\end{array}$$

Therefore, $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

Assume that $B_1⊋B_2$. Then,

$$\begin{array}{c}\hfill sup\left\{B_2\right\}-inf\left\{B_2\right\}\le sup\left\{B_1\right\}-inf\left\{B_1\right\},\end{array}$$

and so

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)=sup\left\{B_2\right\}-inf\left\{B_2\right\}=max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\end{array}$$

for all $x,y\in A$. If $x\notin A$ or $y\notin A$, then ${\tilde{\mu }}_{\ell }(x\ast y)\le max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}$. Hence, $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$. ☐

It is clear that every length 3-fuzzy subalgebra is a length 1-fuzzy subalgebra and every length 2-fuzzy subalgebra is a length 4-fuzzy subalgebra. However, the converse is not true, as seen in the following example.

Example 2.

Consider the $BCK$-algebra $(X,\ast ,0)$ in Example 1. Given a subalgebra $A=\{0,1,2\}$ of $(X,\ast ,0)$, let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ given by

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}\{0.2n\mid n\in [0.2,0.9\left)\right\}\hfill & \mathrm{if}x\in A,\hfill \\ \{0.2n\mid n\in (0.3,0.7\left]\right\}\hfill & \mathrm{otherwise}.\hfill \end{array}\right.\end{array}$$

Then, $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$ by Theorem 1. Since

$$\begin{array}{cc}{\tilde{\mu }}_{\ell }\left(2\right)\hfill & ={\tilde{\mu }}_{sup}\left(2\right)-{\tilde{\mu }}_{inf}\left(2\right)\hfill \\ & =sup\{0.2n\mid n\in [0.2,0.9\left)\right\}-inf\{0.2n\mid n\in [0.2,0.9\left)\right\}\hfill \\ & =0.18-0.04=0.14\hfill \end{array}$$

and

$$\begin{array}{cc}{\tilde{\mu }}_{\ell }(3\ast 2)\hfill & ={\tilde{\mu }}_{\ell }\left(3\right)={\tilde{\mu }}_{sup}\left(3\right)-{\tilde{\mu }}_{inf}\left(3\right)\hfill \\ & =sup\{0.2n\mid n\in (0.3,0.7\left]\right\}-inf\{0.2n\mid n\in (0.3,0.7\left]\right\}\hfill \\ & =0.14-0.06=0.08,\hfill \end{array}$$

we have ${\tilde{\mu }}_{\ell }(3\ast 2)=0.08<0.14=max\{0.08,0.14\}=max\{{\tilde{\mu }}_{\ell }\left(3\right),{\tilde{\mu }}_{\ell }\left(2\right)\}$. Therefore, $(X,\tilde{\mu })$ is not a length 3-fuzzy subalgebra of $(X,\ast ,0)$.

Give a subalgebra $A=\{0,1,2,3\}$ of $(X,\ast ,0)$, let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ given by

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}(0.4,0.7)\hfill & \mathrm{if}x\in A,\hfill \\ [0.3,0.9)\hfill & \mathrm{otherwise}.\hfill \end{array}\right.\end{array}$$

Then, $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$ by Theorem 1. However, it is not a length 2-fuzzy subalgebra of $(X,\ast ,0)$, since

$$\begin{array}{c}{\tilde{\mu }}_{\ell }(4\ast 2)={\tilde{\mu }}_{\ell }\left(4\right)=0.6>0.3=min\{{\tilde{\mu }}_{\ell }\left(4\right),{\tilde{\mu }}_{\ell }\left(2\right)\}.\hfill \end{array}$$

Theorem 2.

A hyper structure $(X,\tilde{\mu })$ over $(X,\ast ,0)$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$ if and only if the set

$$\begin{array}{c}\hfill U_{\ell }(\tilde{\mu };t):=\{x\in X\mid {\tilde{\mu }}_{\ell }\left(x\right)\ge t\}\end{array}$$

(11)

is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $U_{\ell }(\tilde{\mu };t)\ne \varnothing$.

Proof. 

Assume that $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$ and let $t\in [0,1]$ be such that $U_{\ell }(\tilde{\mu };t)$ is nonempty. If $x,y\in U_{\ell }(\tilde{\mu };t)$, then ${\tilde{\mu }}_{\ell }\left(x\right)\ge t$ and ${\tilde{\mu }}_{\ell }\left(y\right)\ge t$. It follows from (3) that

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)\ge min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\ge t,\end{array}$$

and so $x\ast y\in U_{\ell }(\tilde{\mu };t)$. Hence, $U_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$.

Conversely, suppose that $U_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $U_{\ell }(\tilde{\mu };t)\ne \varnothing$. Assume that there exist $a,b\in X$ such that

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(a\ast b)<min\{{\tilde{\mu }}_{\ell }\left(a\right),{\tilde{\mu }}_{\ell }\left(b\right)\}.\end{array}$$

If we take $t:=min\{{\tilde{\mu }}_{\ell }\left(a\right),{\tilde{\mu }}_{\ell }\left(b\right)\}$, then $a,b\in U_{\ell }(\tilde{\mu };t)$ and so $a\ast b\in U_{\ell }(\tilde{\mu };t)$. Thus, ${\tilde{\mu }}_{\ell }(a\ast b)\ge t$, which is a contradiction. Hence,

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)\ge min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\end{array}$$

for all $x,y\in X$. Therefore, $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$. ☐

Corollary 1.

If $(X,\tilde{\mu })$ is a length 3-fuzzy subalgebra of $(X,\ast ,0)$, then the set $U_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $U_{\ell }(\tilde{\mu };t)\ne \varnothing$.

The converse of Corollary 1 is not true, as seen in the following example.

Example 3.

Consider a $BCI$-algebra $X=\{0,1,2,a,b\}$ with the binary operation ∗, which is given in

Table 3. Cayley table for the binary operation “∗”.

∗	0	1	2	a	b
0	0	0	0	a	a
1	1	0	1	b	a
2	2	2	0	a	a
a	a	a	a	0	0
b	b	a	b	1	0

(see [6]).

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $\tilde{\mu }$ is given as follows:

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}[0.3,0.4)\cup [0.6,0.9)\hfill & \mathrm{if}x=0,\hfill \\ (0.5,0.7]\hfill & \mathrm{if}x=1,\hfill \\ [0.1,0.3]\cup (0.5,0.6]\hfill & \mathrm{if}x=2,\hfill \\ [0.4,0.7]\hfill & \mathrm{if}x=a,\hfill \\ (\mathrm{0..3},0.5]\hfill & \mathrm{if}x=b.\hfill \end{array}\right.\end{array}$$

Then, the length of $\tilde{\mu }$ is given by

Table 4. The length of $(X,\tilde{\mu })$.

X	0	1	2	a	b
${\tilde{\mu }}_{\ell }$	$0.6$	$0.2$	$0.5$	$0.3$	$0.2$

.

Hence, we have

$$\begin{array}{c}\hfill U_{\ell }(\tilde{\mu };t)=\left\{\begin{array}{cc}\varnothing \hfill & \mathrm{if}t\in (0.6,1],\hfill \\ \left\{0\right\}\hfill & \mathrm{if}t\in (0.5,0.6],\hfill \\ \left\{0.2\right\}\hfill & \mathrm{if}t\in (0.3,0.5],\hfill \\ \{0,2,a\}\hfill & \mathrm{if}t\in (0.2,0.3],\hfill \\ X\hfill & \mathrm{if}t\in [0,0.2],\hfill \end{array}\right.\end{array}$$

and so $U_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $U_{\ell }(\tilde{\mu };t)\ne \varnothing$. Since

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(b\ast 2)={\tilde{\mu }}_{\ell }\left(b\right)=0.2\ngeqq 0.5=max\{{\tilde{\mu }}_{\ell }\left(b\right),{\tilde{\mu }}_{\ell }\left(2\right)\},\end{array}$$

$(X,\tilde{\mu })$ is not a length 3-fuzzy subalgebra of $(X,\ast ,0)$.

Theorem 3.

A hyper structure $(X,\tilde{\mu })$ over $(X,\ast ,0)$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$ if and only if the set

$$\begin{array}{c}\hfill L_{\ell }(\tilde{\mu };t):=\{x\in X\mid {\tilde{\mu }}_{\ell }\left(x\right)\le t\}\end{array}$$

(12)

is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $L_{\ell }(\tilde{\mu };t)\ne \varnothing$.

Proof. 

Suppose that $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$ and $L_{\ell }(\tilde{\mu };t)\ne \varnothing$ for all $t\in [0,1]$. Let $x,y\in L_{\ell }(\tilde{\mu };t)$. Then, ${\tilde{\mu }}_{\ell }\left(x\right)\le t$ and ${\tilde{\mu }}_{\ell }\left(y\right)\le t$, which implies from (6) that

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)\le max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\le t.\end{array}$$

Hence, $x\ast y\in L_{\ell }(\tilde{\mu };t)$, and so $L_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$.

Conversely, assume that $L_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $L_{\ell }(\tilde{\mu };t)\ne \varnothing$. If there exist $a,b\in X$ such that

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(a\ast b)>max\{{\tilde{\mu }}_{\ell }\left(a\right),{\tilde{\mu }}_{\ell }\left(b\right)\},\end{array}$$

then $a,b\in L_{\ell }(\tilde{\mu };t)$ by taking $t=max\{{\tilde{\mu }}_{\ell }\left(a\right),{\tilde{\mu }}_{\ell }\left(b\right)\}$. It follows that $a\ast b\in L_{\ell }(\tilde{\mu };t)$, and so ${\tilde{\mu }}_{\ell }(a\ast b)\le t$, which is a contradiction. Hence,

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(x\ast y)\le max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\end{array}$$

for all $x,y\in X$, and therefore $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$. ☐

Corollary 2.

If $(X,\tilde{\mu })$ is a length 2-fuzzy subalgebra of $(X,\ast ,0)$, then the set $L_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $L_{\ell }(\tilde{\mu };t)\ne \varnothing$.

The converse of Corollary 2 is not true, as seen in the following example.

Example 4.

Consider the $BCI$-algebra $X=\{0,1,2,a,b\}$ in Example 3 and let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $\tilde{\mu }$ is given as follows:

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}[0.6,0.8)\hfill & \mathrm{if}x=0,\hfill \\ (0.3,0.7]\hfill & \mathrm{if}x=1,\hfill \\ [0.4,0.6)\cup (0.6,0.7]\hfill & \mathrm{if}x=2,\hfill \\ [0.1,0.7]\hfill & \mathrm{if}x=a,\hfill \\ (0.2,0.8]\hfill & \mathrm{if}x=b.\hfill \end{array}\right.\end{array}$$

Then, the length of $\tilde{\mu }$ is given by

Table 5. The length of $(X,\tilde{\mu })$.

X	0	1	2	a	b
${\tilde{\mu }}_{\ell }$	$0.2$	$0.4$	$0.3$	$0.6$	$0.6$

.

Hence, we have

$$\begin{array}{c}\hfill L_{\ell }(\tilde{\mu };t)=\left\{\begin{array}{cc}X\hfill & \mathrm{if}t\in [0.6,1],\hfill \\ \{0.1,2\}\hfill & \mathrm{if}t\in [0.4,0.6),\hfill \\ \{0,2\}\hfill & \mathrm{if}t\in [0.3,0.4),\hfill \\ \left\{0\right\}\hfill & \mathrm{if}t\in [0.2,0.3),\hfill \\ \varnothing \hfill & \mathrm{if}t\in [0,0.2),\hfill \end{array}\right.\end{array}$$

and so $L_{\ell }(\tilde{\mu };t)$ is a subalgebra of $(X,\ast ,0)$ for all $t\in [0,1]$ with $L_{\ell }(\tilde{\mu };t)\ne \varnothing$. However, $(X,\tilde{\mu })$ is not a length 2-fuzzy subalgebra of $(X,\ast ,0)$ since

$$\begin{array}{c}\hfill {\tilde{\mu }}_{\ell }(a\ast 1)=0.6\nleqq 0.4=min\{{\tilde{\mu }}_{\ell }\left(a\right),{\tilde{\mu }}_{\ell }\left(1\right)\}.\end{array}$$

Theorem 4.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{inf})$ satisfies the Condition (4). If $(X,\tilde{\mu })$ is a $(k,1)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$, then it is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

Proof. 

Assume that $(X,\tilde{\mu })$ is a $(k,1)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$ in which $(X,{\tilde{\mu }}_{inf})$ satisfies the Condition (4). Then, ${\tilde{\mu }}_{inf}(x\ast y)\le {\tilde{\mu }}_{inf}\left(x\right)$ and ${\tilde{\mu }}_{inf}(x\ast y)\le {\tilde{\mu }}_{inf}\left(y\right)$ for all $x,y\in X$, and $(X,{\tilde{\mu }}_{sup})$ is a 1-fuzzy subalgebra of X. It follows from (3) that

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{\ell }(x\ast y)& ={\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & \ge min\{{\tilde{\mu }}_{sup}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)\}-{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & =min\{{\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}(x\ast y),{\tilde{\mu }}_{sup}\left(y\right)-{\tilde{\mu }}_{inf}(x\ast y)\}\hfill \\ & \ge min\{{\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)-{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & =min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$. Therefore $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$. ☐

Corollary 3.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{inf})$ satisfies the Condition (4). If $(X,\tilde{\mu })$ is a $(k,3)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$, then it is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

Corollary 4.

For $j\in \{1,3\}$, every $(2,j)$-hyperfuzzy subalgebra is a length 1-fuzzy subalgebra.

In general, any length 1-fuzzy subalgebra may not be a $(k,1)$-hyperfuzzy subalgebra for $k\in \{1,2,3,4\}$, as seen in the following example.

Example 5.

Consider a $BCI$-algebra $X=\{0,1,a,b,c\}$ with the binary operation ∗, which is given in

Table 6. Cayley table for the binary operation “∗”.

∗	0	1	a	b	c
0	0	0	a	b	c
1	1	0	a	b	c
a	a	a	0	c	b
b	b	b	c	0	a
c	c	c	b	a	0

(see [6]).

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $\tilde{\mu }$ is given as follows:

$$\begin{array}{c}\hfill \tilde{\mu }:X\to \tilde{\mathcal{P}}\left([0,1]\right),x\mapsto \left\{\begin{array}{cc}[0.1,0.9)\hfill & \mathrm{if}x=0,\hfill \\ (0.1,0.8]\hfill & \mathrm{if}x=1,\hfill \\ [0.4,0.9]\hfill & \mathrm{if}x=a,\hfill \\ [0.3,0.6)\hfill & \mathrm{if}x\in \{b,c\}.\hfill \end{array}\right.\end{array}$$

The length of $\tilde{\mu }$ is given by

Table 7. The length of $(X,\tilde{\mu })$.

X	0	1	a	b	c
${\tilde{\mu }}_{\ell }$	$0.8$	$0.7$	$0.5$	$0.3$	$0.3$

and it is routine to verify that $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

However, it is not a $(k,1)$-hyperfuzzy subalgebra of X since

$$\begin{array}{c}{\tilde{\mu }}_{inf}(a\ast a)={\tilde{\mu }}_{inf}\left(0\right)=0.1<0.4=min\{{\tilde{\mu }}_{inf}\left(a\right),{\tilde{\mu }}_{inf}\left(a\right)\},\hfill \\ {\tilde{\mu }}_{inf}(b\ast c)={\tilde{\mu }}_{inf}\left(a\right)=0.4>0.3=min\{{\tilde{\mu }}_{inf}\left(b\right),{\tilde{\mu }}_{inf}\left(c\right)\},\hfill \\ {\tilde{\mu }}_{inf}(b\ast b)={\tilde{\mu }}_{inf}\left(0\right)=0.1<0.3=max\{{\tilde{\mu }}_{inf}\left(b\right),{\tilde{\mu }}_{inf}\left(b\right)\},\hfill \\ {\tilde{\mu }}_{inf}(b\ast c)={\tilde{\mu }}_{inf}\left(a\right)=0.4>0.3=max\{{\tilde{\mu }}_{inf}\left(b\right),{\tilde{\mu }}_{inf}\left(c\right)\}.\hfill \end{array}$$

We provide a condition for a length 1-fuzzy subalgebra to be a $(k,1)$-hyperfuzzy subalgebra for $k\in \{1,2,3,4\}$.

Theorem 5.

If $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant on X, then it is a $(k,1)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$.

Proof. 

Assume that $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant on X. It is clear that $(X,{\tilde{\mu }}_{inf})$ is a k-fuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. Let ${\tilde{\mu }}_{inf}\left(x\right)=k$ for all $x\in X$. Then,

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{sup}(x\ast y)& ={\tilde{\mu }}_{\ell }(x\ast y)+{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & ={\tilde{\mu }}_{\ell }(x\ast y)+k\hfill \\ & \ge min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}+k\hfill \\ & =min\{{\tilde{\mu }}_{\ell }\left(x\right)+k,{\tilde{\mu }}_{\ell }\left(y\right)+k\}\hfill \\ & =min\{{\tilde{\mu }}_{sup}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$. Thus, $(X,{\tilde{\mu }}_{sup})$ is a 1-fuzzy subalgebra of X. Therefore, $(X,\tilde{\mu })$ is a $(k,1)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. ☐

Corollary 5.

If $(X,\tilde{\mu })$ is a length 3-fuzzy subalgebra of $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant on X, then it is a $(k,1)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$.

Corollary 6.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant on X. Then, $(X,\tilde{\mu })$ is a $(k,1)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$ if and only if $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

Theorem 6.

If $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$ in which ${\tilde{\mu }}_{sup}$ is constant on X, then it is a $(4,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$.

Proof. 

Let $(X,\tilde{\mu })$ be a length 1-fuzzy subalgebra of $(X,\ast ,0)$ in which ${\tilde{\mu }}_{sup}$ is constant on X. Clearly, $(X,{\tilde{\mu }}_{sup})$ is a k-fuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. Let ${\tilde{\mu }}_{sup}\left(x\right)=t$ for all $x\in X$. Then,

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{inf}(x\ast y)& ={\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{\ell }(x\ast y)\hfill \\ & =t-{\tilde{\mu }}_{\ell }(x\ast y)\hfill \\ & \le t-min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \\ & =t+max\{-{\tilde{\mu }}_{\ell }\left(x\right),-{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \\ & =max\{t-{\tilde{\mu }}_{\ell }\left(x\right),t-{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \\ & =max\{{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$, and so $(X,{\tilde{\mu }}_{inf})$ is a 4-fuzzy subalgebra of $(X,\ast ,0)$. Therefore, $(X,\tilde{\mu })$ is a $(4,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. ☐

Theorem 7.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{sup})$ satisfies the Condition (5). For any $k\in \{1,2,3,4\}$, if $(X,\tilde{\mu })$ is a $(4,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$, then it is a length 1-fuzzy subalgebra of $(X,\ast ,0)$.

Proof. 

Let $(X,\tilde{\mu })$ be a $(4,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$ in which $(X,{\tilde{\mu }}_{sup})$ satisfies the Condition (5). Then, ${\tilde{\mu }}_{sup}(x\ast y)\ge {\tilde{\mu }}_{sup}\left(x\right)$ and ${\tilde{\mu }}_{sup}(x\ast y)\ge {\tilde{\mu }}_{sup}\left(y\right)$ for all $x,y\in X$, and $(X,{\tilde{\mu }}_{inf})$ is a 4-fuzzy subalgebra of $(X,\ast ,0)$. It follows from (6) that

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{\ell }(x\ast y)& ={\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & \ge {\tilde{\mu }}_{sup}(x\ast y)-max\{{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & =min\{{\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & \ge min\{{\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)-{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & =min\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$. Hence, $(X,\tilde{\mu })$ is a length 1-fuzzy subalgebra of $(X,\ast ,0)$. ☐

Corollary 7.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{sup})$ satisfies the Condition (5). For any $k\in \{1,2,3,4\}$, every $(2,k)$-hyperfuzzy subalgebra is a length 1-fuzzy subalgebra.

Theorem 8.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{inf})$ satisfies the Condition (5). If $(X,\tilde{\mu })$ is a $(k,4)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$, then it is a length 4-fuzzy subalgebra of $(X,\ast ,0)$.

Proof. 

Assume that $(X,\tilde{\mu })$ is a $(k,4)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$ in which $(X,{\tilde{\mu }}_{inf})$ satisfies the Condition (5). Then, ${\tilde{\mu }}_{inf}(x\ast y)\ge {\tilde{\mu }}_{inf}\left(x\right)$ and ${\tilde{\mu }}_{inf}(x\ast y)\ge {\tilde{\mu }}_{inf}\left(y\right)$ for all $x,y\in X$, and $(X,{\tilde{\mu }}_{sup})$ is a 4-fuzzy subalgebra of X. Hence,

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{\ell }(x\ast y)& ={\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & \le max\{{\tilde{\mu }}_{sup}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)\}-{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & =max\{{\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}(x\ast y),{\tilde{\mu }}_{sup}\left(y\right)-{\tilde{\mu }}_{inf}(x\ast y)\}\hfill \\ & \le max\{{\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)-{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & =max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$, and so $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$. ☐

Corollary 8.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{inf})$ satisfies the Condition (5). If $(X,\tilde{\mu })$ is a $(k,2)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$, then it is a length 4-fuzzy subalgebra of $(X,\ast ,0)$.

Corollary 9.

For $j\in \{2,4\}$, every $(3,j)$-hyperfuzzy subalgebra is a length 4-fuzzy subalgebra.

Theorem 9.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant. Then, every length 4-fuzzy subalgebra is a $(k,4)$-hyperfuzzy subalgebra for $k\in \{1,2,3,4\}$.

Proof. 

Let $(X,\tilde{\mu })$ be a length 4-fuzzy subalgebra of $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant. It is obvious that $(X,{\tilde{\mu }}_{inf})$ is a k-fuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. Let ${\tilde{\mu }}_{inf}\left(x\right)=t$ for all $x\in X$. Then,

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{sup}(x\ast y)& ={\tilde{\mu }}_{\ell }(x\ast y)+{\tilde{\mu }}_{inf}(x\ast y)={\tilde{\mu }}_{\ell }(x\ast y)+t\hfill \\ & \le max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}+t\hfill \\ & =max\{{\tilde{\mu }}_{\ell }\left(x\right)+t,{\tilde{\mu }}_{\ell }\left(y\right)+t\}\hfill \\ & =max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$, and hence $(X,{\tilde{\mu }}_{sup})$ is a 4-fuzzy subalgebra of $(X,\ast ,0)$. Therefore, $(X,\tilde{\mu })$ is a $(k,4)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. ☐

Corollary 10.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which ${\tilde{\mu }}_{inf}$ is constant. Then, every length 2-fuzzy subalgebra is a $(k,4)$-hyperfuzzy subalgebra for $k\in \{1,2,3,4\}$.

Theorem 10.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{sup})$ satisfies the Condition (4). For every $k\in \{1,2,3,4\}$, every $(1,k)$-hyperfuzzy subalgebra is a length 4-fuzzy subalgebra.

Proof. 

For every $k\in \{1,2,3,4\}$, let $(X,\tilde{\mu })$ be a $(1,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{sup})$ satisfies the Condition (4). Then, ${\tilde{\mu }}_{sup}(x\ast y)\le {\tilde{\mu }}_{sup}\left(x\right)$ and ${\tilde{\mu }}_{sup}(x\ast y)\le {\tilde{\mu }}_{sup}\left(y\right)$ for all $x,y\in X$. Since $(X,{\tilde{\mu }}_{inf})$ is a 1-fuzzy subalgebra of $(X,\ast ,0)$, we have

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{\ell }(x\ast y)& ={\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}(x\ast y)\hfill \\ & \le {\tilde{\mu }}_{sup}(x\ast y)-min\{{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & =max\{{\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & \le max\{{\tilde{\mu }}_{sup}\left(x\right)-{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{sup}\left(y\right)-{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \\ & =max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$. Thus, $(X,\tilde{\mu })$ is a length 4-fuzzy subalgebra of $(X,\ast ,0)$. ☐

Corollary 11.

Let $(X,\tilde{\mu })$ be a hyper structure over $(X,\ast ,0)$ in which $(X,{\tilde{\mu }}_{sup})$ satisfies the Condition (4). For every $k\in \{1,2,3,4\}$, every $(3,k)$-hyperfuzzy subalgebra is a length 4-fuzzy subalgebra.

Theorem 11.

Let $(X,\tilde{\mu })$ be a length 4-fuzzy subalgebra of $(X,\ast ,0)$. If ${\tilde{\mu }}_{sup}$ is constant on X, then $(X,\tilde{\mu })$ is a $(1,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$.

Proof. 

Assume that ${\tilde{\mu }}_{sup}$ is constant on X in a length 4-fuzzy subalgebra $(X,\tilde{\mu })$ of $(X,\ast ,0)$. Obviously, $(X,{\tilde{\mu }}_{sup})$ is a k-fuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. Let ${\tilde{\mu }}_{sup}\left(x\right)=t$ for all $x\in X$. Then,

$$\begin{array}{cc}\hfill {\tilde{\mu }}_{inf}(x\ast y)& ={\tilde{\mu }}_{sup}(x\ast y)-{\tilde{\mu }}_{\ell }(x\ast y)\hfill \\ & =t-{\tilde{\mu }}_{\ell }(x\ast y)\hfill \\ & \ge t-max\{{\tilde{\mu }}_{\ell }\left(x\right),{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \\ & =min\{t-{\tilde{\mu }}_{\ell }\left(x\right),t-{\tilde{\mu }}_{\ell }\left(y\right)\}\hfill \\ & =min\{{\tilde{\mu }}_{inf}\left(x\right),{\tilde{\mu }}_{inf}\left(y\right)\}\hfill \end{array}$$

for all $x,y\in X$, and so $(X,{\tilde{\mu }}_{inf})$ is a 1-fuzzy subalgebra of $(X,\ast ,0)$. Therefore, $(X,{\tilde{\mu }}_{inf})$ is a $(1,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$. ☐

Corollary 12.

Let $(X,\tilde{\mu })$ be a length 2-fuzzy subalgebra of $(X,\ast ,0)$. If ${\tilde{\mu }}_{sup}$ is constant on X, then $(X,\tilde{\mu })$ is a $(1,k)$-hyperfuzzy subalgebra of $(X,\ast ,0)$ for $k\in \{1,2,3,4\}$.

4. Conclusions

In order to consider a generalization of fuzzy sets and interval-valued fuzzy sets, the notion of hyperfuzzy sets was introduced by Ghosh and Samanta (see [3]). Jun et al. [4] and Song et al. [7] have applied the hyperfuzzy sets to $BCK/BCI$-algebras. In this article, we have introduced the concept of length-fuzzy sets based on hyperfuzzy sets, and have presented an application in $BCK/BCI$-algebras. We have introduced the notion of length fuzzy subalgebras in $BCK/BCI$-algebras, and have investigated related properties. We have discussed characterizations of a length fuzzy subalgebra, and have established relations between length fuzzy subalgebras and hyperfuzzy subalgebras. Recently, many kinds of fuzzy sets have several applications to deal with uncertainties from our different kinds of daily life problems, in particular, for solving decision-making problems (see [8,9,10,11,12]). In the future, from a purely mathematical standpoint, we will apply the notions and results in this manuscript to related algebraic structures, for example, $MV$-algebras, $BL$-algebras, $MTL$-algebras, $EQ$-algebras, effect algebras and so on. From an applicable standpoint, we shall extend our proposed approach to some decision-making problems under the field of fuzzy cluster analysis, uncertain programming, mathematical programming, decision-making problems and so on.