Skip to main content

Introduction to Fuzzy Sets

Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ,volume 356)


The subject of this chapter is fuzzy sets and the basic issues related to them. The first section discusses concepts of sets: classic and fuzzy, and presents various ways of describing fuzzy sets. The second section is dedicated to t-norms, s-norms, and other terms associated with fuzzy sets. Subsequent sections describe the extension principle, fuzzy relations and their compositions, cylindrical extension and projection of a fuzzy set. The sixth section discusses fuzzy numbers and basic arithmetic operations on them. Finally, the last section summarizes the chapter.

1 Classic and Fuzzy Sets

The concept of a classic set is one of primitive notions, which do not have a definition. Most frequently a set is understood as a collection of objects (elements) having some features distinguishing them from other objects, such as the set of positive numbers less than 100 or the set of aquatic birds. Usually, sets are denoted in uppercase (e.g., a set A, B, \(\ldots \)), whereas objects are in lowercase (e.g., an object x, y, \(\ldots \)). Each set may be considered as a subset of an universe of discourse \(\mathbb {X}\), which is a “super-set” containing all possible objects.

In the case of classic sets, a given object x may belong to a set A (be a member of a set A), or not belong to this set (not be a member of this set), and these two options are denoted by \(x\in A\) or . A classic set may be described by means of the characteristic function (\(\chi _{A}\)) that takes two values: 1 (for the object belonging to a set A), and 0 (for the object not belonging to a set A) [19]

$$\begin{aligned} \chi _{A}\left( x\right) =\left\{ \begin{array} [c]{ll} 1, &{} x\in A,\\ 0, &{} x\notin A. \end{array} \right. \end{aligned}$$

There are several operations defined on classic sets and the following are considered to be basic ones [19]:

  • product (intersection, conjunction)

$$\begin{aligned} A\cap B=\left\{ \left. x\in \mathbb {X}\right| x\in A\text { and }x\in B\right\} , \end{aligned}$$
  • sum (union, disjunction)

$$\begin{aligned} A\cup B=\left\{ \left. x\in \mathbb {X}\right| x\in A\text { or }x\in B\right\} , \end{aligned}$$
  • negation (complement)

$$\begin{aligned} \overline{A}=\left\{ \left. x\in \mathbb {X}\right| x\notin A\right\} . \end{aligned}$$

The above operations can also be defined on the basis of characteristic functions [19]:

$$\begin{aligned} \chi _{A \cap B}=\chi _{A}\left( x\right) \wedge \chi _{B}\left( x\right) =\min \left( \chi _{A}\left( x\right) ,\chi _{B}\left( x\right) \right) , \end{aligned}$$
$$\begin{aligned} \chi _{A \cup B}=\chi _{A}\left( x\right) \vee \chi _{B}\left( x\right) =\max \left( \chi _{A}\left( x\right) ,\chi _{B}\left( x\right) \right) , \end{aligned}$$
$$\begin{aligned} \overline{\chi _{A}\left( x\right) }=1-\chi _{A}\left( x\right) . \end{aligned}$$

Example 1.1

Let us consider the expression “The fetal heart rate (FHR) is about 120 bpm,” which can be described by the classic set of FHR values in the interval, for example, \(\left[ 115,125 \right] \), defined in the universe \(\mathbb {X} = \left[ 0,240 \right] \subset \mathbb {R}\). The characteristic function of this set is shown in Fig. 1.1a. According to the proposed interval, values 121 and 125 equally belong to this set, whereas values 125.1, 130, and 135 equally do not belong. However, the following observations can arise: a value 121 is closer to 120 than 125, thus it should belong “stronger”, a value 125.1 should be the member of the set similarly as 125, and finally, a value 135 should belong “less” than 130. Fuzzy sets allow for taking into account these observations.

Fig. 1.1
figure 1

“The fetal heart rate is about 120 bpm”: a the characteristic function of the classic set, b the Gaussian membership function of the fuzzy set

Fuzzy sets were introduced and described using membership functions by L.A. Zadeh in 1965 [24] and have many practical applications [10, 22]. As opposed to a classic set, in the case of a fuzzy set A an object x may belong to this set with varying membership degrees in the range [0, 1], where 0 and 1 denote, respectively, lack of membership and full membership.

One way of describing a fuzzy set A is to provide its membership function \(\mu _{A}:\mathbb {X}\rightarrow [0,1]\). There are various membership functions, three of them are presented below [5, 16].

  • Gaussian membership function (where c and \(\delta \) are parameters)

    $$\begin{aligned} \mu _{A}\left( x;c,\delta \right) =\text {exp}\left( -\frac{\left( x-c\right) ^{2}}{2\delta ^{2}}\right) . \end{aligned}$$

    The parameter c specifies the center of a function; the parameter \(\delta \) determines its dispersion.

  • Trapezoidal membership function (where \(p \le q \le r \le s\) are parameters)

    $$\begin{aligned} \mu _{A}\left( x;p,q,r,s\right) = {\left\{ \begin{array}{ll} 0, &{} x\le p,\\ \frac{x-p}{q-p}, &{} p<x\le q,\\ 1, &{} q<x\le r,\\ \frac{s-x}{s-r}, &{} r<x\le s,\\ 0, &{} x>s. \end{array}\right. } \end{aligned}$$

    A special case of a trapezoidal function (for \(q = r\)) is a triangular function.

  • Singleton (where \(x_{0}\) is a parameter)

    $$\begin{aligned} \mu _{A}\left( x;x_{0}\right) =\delta _{x,x_{0}}= {\left\{ \begin{array}{ll} 1, &{} x=x_{0},\\ 0, &{} x\ne x_{0}. \end{array}\right. } \end{aligned}$$

    The parameter \(x_{0}\) specifies the location of the singleton, that is, the single value of x which belongs to a set A (with a membership degree equal to 1).

An example of the Gaussian membership function is presented in Fig. 1.1b, and trapezoidal, triangular, and singleton functions are illustrated in Fig. 1.2.

Example 1.2

In the universe \(\mathbb {X} = \left[ 0,240 \right] \subset \mathbb {R}\) let us define the fuzzy set A “The FHR is about 120 bpm.” Such a set can be described by the Gaussian membership function (1.8) with \(c = 120\) and \(\delta = 4.25\), which is shown in Fig. 1.1b. In this case, in accordance with observations in Example 1.1, the FHR values discussed (121, 125, 125.1, 130, 135) belong to this set with different membership degrees: \(\mu _{A}\left( 121\right) = 0.973\), \(\mu _{A}\left( 125\right) = 0.500\), \(\mu _{A}\left( 125.1\right) = 0.486\), \(\mu _{A}\left( 130\right) = 0.062\) and \(\mu _{A}\left( 135\right) = 0.002\).

Example 1.3

One more example concerning fetal heart rate can be the expression “normal FHR,” which means that the FHR value is in the physiological range. Based on FIGO guidelines, as the range of “normal FHR” values we can assume \(\left[ 110,150 \right] \) bpm and use the classic set of values in this range to describe the expression “normal FHR.” However, this leads to the situation in which FHR value 151 bpm is not “normal,” although it seems that it partially is. It suggests that it is better to use a fuzzy set to describe the expression “normal FHR.”

Example 1.4

Another example can be the expression “new car.” Assuming that a car is “new” when its age does not exceed three years, the expression “new car” can be described by the classic set of cars up to the age of three years. However, it results in a problem similar to the previous example: the car at the age of three years and one week is not “new,” although it seems that it almost is. Also in this case it is better to use a fuzzy set.

The above examples suggest that fuzzy sets are a good tool for a formal description of vague and imprecise expressions such as “value about 120,” “normal FHR,” “new car,” “medium height,” “high salary,” and so on. Examples of membership functions shown in Fig. 1.2 could be used to describe expressions such as: (a) “normal FHR,” (b) the value of FHR is “about 120 bpm,” and (c) FHR value is “exactly 120 bpm.”

Fig. 1.2
figure 2

Examples of membership functions: a trapezoidal (\(p = 100,q = 120,r = 140,s = 160\)), b triangular (\(p = 110,q = r = 120,s = 130\)) and c singleton (\(x_{0} = 120\))

Another way of describing a fuzzy set is to list ordered pairs: an object x and its membership degree \(\mu _{A}\left( x\right) \in \left[ 0,1\right] \) in a set A [5]

$$\begin{aligned} A=\left\{ \left. \left( x,\mu _{A}\left( x\right) \right) \right| x\in \mathbb {X}\right\} . \end{aligned}$$

To describe a fuzzy set, the notation proposed by Zadeh [25] can also be used:

  • for discrete universe \(\mathbb {X}\) (comprising ordered or nonordered objects)

$$\begin{aligned} A=\displaystyle \mathop {\sum }_{x\in \mathbb {X}}\mu _{A}\left( x\right) / x, \end{aligned}$$
  • for indiscrete universe \(\mathbb {X}\)

$$\begin{aligned} A=\displaystyle \mathop {\int }_{\mathbb {X}}\mu _{A}\left( x\right) / x. \end{aligned}$$

In the above notation the symbol  /  is a separator, and symbols \(\sum \) and \(\int \) denote idempotent summation.

Example 1.5

In the discrete nonordered universe comprising selected fruits \(\mathbb {X} = \left\{ orange, pineapple, grape, apple, peach, banana, grapefruit \right\} \) let us define the fuzzy set A “Fruits, that the first author likes.” Using the notation proposed by Zadeh we can write

\(A = 1.0/orange + 0.6/pineapple + 0.2/grape + 1.0/apple + 0.8/peach\)

\(+ 0.6/banana + 0.5/grapefruit\).

Example 1.6

Let us consider the discrete ordered universe comprising values of possible temperatures to set in a car air-conditioning system \(\mathbb {X} = \left\{ low,18,19, \ldots , 23 \right. \) \(\left. 24, high \right\} \subset \mathbb {R}_{+}\), where “low” and “high” mean the lowest and the highest attainable temperatures. Using the notation of ordered pairs, the fuzzy set A “Adequate (according to the second author) temperature in the car” defined in the universe \(\mathbb {X}\) can be described as follows

\(A {=}\, \left\{ \left( low,0.1 \right) , \left( 18,0.4 \right) , \left( 19,0.5 \right) , \left( 20,0.8 \right) , \left( 21,0.9 \right) , \left( 22,1.0 \right) , \left( 23,0.8 \right) ,\right. \)

\( \left. \left( 24,0.4 \right) , \left( high,0.1 \right) \right\} \).

Example 1.7

The set of FHR values from Example 1.2 using the notation proposed by Zadeh is described as

Various extensions of fuzzy sets were proposed, for example, fuzzy sets of type-2 [26], interval-valued fuzzy sets [8, 11, 21, 26], probabilistic sets [9], rough sets [18], and intuitionistic fuzzy sets [2].

2 Fuzzy Sets—Basic Definitions

Similarly to classic sets, operations of product, sum, and complement are also established for fuzzy sets. Product and sum are defined by means of operators of t-norm and s-norm:

$$\begin{aligned} \underset{x\in \mathbb {X}}{\forall }\quad \mu _{A\cap B}\left( x\right) =\mu _{A}\left( x\right) \star _{T}\mu _{B}\left( x\right) =T\left( \mu _{A}\left( x\right) ,\mu _{B}\left( x\right) \right) , \end{aligned}$$
$$\begin{aligned} \underset{x\in \mathbb {X}}{\forall }\quad \mu _{A\cup B}\left( x\right) =\mu _{A}\left( x\right) \star _{S}\mu _{B}\left( x\right) =S\left( \mu _{A}\left( x\right) ,\mu _{B}\left( x\right) \right) , \end{aligned}$$

where \(\star _{T}\) \(\left( T\right) \) and \(\star _{S}\) \(\left( S\right) \) are operators of t-norm and s-norm. Both t-norm and s-norm (also called t-conorm) are mappings \([0,1]\times [0,1]\rightarrow [0,1]\) that satisfy all necessary conditions [5, 16] presented in Table 1.1.

Table 1.1 Necessary conditions for t-norms and s-norms: A1 denotes boundary conditions, A2-commutativity, A3-monotonicity, and A4-associativity (\(r,u,x,y,z\in \left[ 0,1\right] \))

There are various t-norms and s-norms [5, 7, 13, 16, 23, 24, 27], three that are frequently used are presented below.

  • Zadeh t-norm and s-norm:

    $$\begin{aligned} x \star _{T} y = \min \left( x,y \right) = x \wedge y, \quad x \star _{S} y = \max \left( x,y \right) = x \vee y. \end{aligned}$$
  • Algebraic product and algebraic (also called probabilistic) sum:

    $$\begin{aligned} x \star _{T} y=xy, \quad x \star _{S} y =x+y-xy. \end{aligned}$$
  • Lukasiewicz t-norm and s-norm:

    $$\begin{aligned} x \star _{T} y=\max \left( x+y-1,0\right) , \quad x \star _{S} y =\min \left( x+y,1\right) . \end{aligned}$$

The complement of a fuzzy set A is defined as follows [5, 16]

$$\begin{aligned} \mu _{\overline{A}}\left( x\right) =n\left[ \mu _{A}\left( x\right) \right] , \end{aligned}$$

where n denotes a negation function. Minimal assumptions about the function n are: n is a mapping \([0,1]\rightarrow [0,1]\), n satisfies conditions \(n(0) = 1,\;n(1) = 0\), and n is nonincreasing. Depending on specific conditions [5, 16], a negation function can be strict or strong. The strong negation in the form \(N\left( x\right) = 1 - x\) (a standard negation) is most frequently used. Operations of product, sum, and complement are illustrated in Fig. 1.3.

Fig. 1.3
figure 3

Product, sum, and complement of fuzzy sets: a fuzzy sets A and B, b the product of A and B using Zadeh t-norm (minimum), c the sum of A and B using Zadeh s-norm (maximum), d complement of a set A using the standard negation

In addition to definitions of t-norms and s-norms, other concepts that also characterize fuzzy sets are defined [3, 5,6,7, 16, 20, 23, 27]. Some of them are discussed below.

  • An \(\alpha \)-cut set (\(A_{\alpha }\)) and a strong \(\alpha \)-cut set (\(A_{\underline{\alpha }}\))

    $$\begin{aligned} A_{\alpha }=\left\{ \left. x\in \mathbb {X}\right| \mu _{A}\left( x\right) \ge \alpha \right\} , \qquad A_{\underline{\alpha }}=\left\{ \left. x\in \mathbb {X}\right| \mu _{A}\left( x\right) >\alpha \right\} . \end{aligned}$$
  • Core of a fuzzy set (Core\(\left( A\right) \)), that is, the \(\alpha \)-cut set with \(\alpha = 1\).

  • Support of a fuzzy set (Supp\(\left( A\right) \)), that is, the strong \(\alpha \)-cut set with \(\alpha = 0\).

  • Width of a fuzzy set, Width\(\left( A\right) = \left| x_{2}-x_{1}\right| \), where \(x_{1}\) and \(x_{2}\) are crossover points of A defined below.

  • Crossover points of a fuzzy set

    $$\begin{aligned} \text {Crossover}\left( A\right) =\left\{ x\in \mathbb {X}\left| \mu _{A}\left( x\right) =\frac{1}{2}\right. \right\} . \end{aligned}$$
  • A fuzzy set is “normal” if its core is not empty.

  • A fuzzy set A is “convex” if and only if (iff)

    $$\begin{aligned} \underset{x_{1},x_{2}\in \mathbb {X}}{\forall }\quad \underset{\lambda \in [0,1]}{\forall }\quad \mu _{A}\left[ \lambda x_{1}+\left( 1-\lambda \right) x_{2}\right] \ge \min \left[ \mu _{A}\left( x_{1}\right) ,\mu _{A}\left( x_{2}\right) \right] . \end{aligned}$$
  • Two fuzzy sets A and B are equal iff

    $$\begin{aligned} \underset{x\in \mathbb {X}}{\forall }\quad \mu _{A}\left( x\right) =\mu _{B}\left( x\right) . \end{aligned}$$
  • A fuzzy set A is a subset of a fuzzy set B iff

    $$\begin{aligned} \underset{x\in \mathbb {X}}{\forall }\quad \mu _{A}\left( x\right) \le \mu _{B}\left( x\right) . \end{aligned}$$

Core(A), Supp(A), Width(A), and Crossover(A) are illustrated in Fig. 1.4. It is worth noting that Core(A) and Supp(A) specify classic sets (\(\chi _{Core(A)}(x)\) and \(\chi _{Supp(A)}(x)\) in Fig. 1.4 denote their characteristic functions).

Fig. 1.4
figure 4

The illustration of core, support, width, and crossover points of a fuzzy set

3 Extension Principle

The extension principle [26] allows for extension of the concept of mathematical functions (defined on classic sets) to fuzzy sets. In other words, mapping from a classic set to a classic set is extended to mapping from a fuzzy set to a fuzzy set.

Let \(y = f(x)\) be a one-argument function, which is mapping from \(\mathbb {X}\) to \(\mathbb {Y}\), and A be a fuzzy set defined in a discrete universe \(\mathbb {X} = \left\{ x_{1},x_{2},\ldots ,x_{p}\right\} \)

$$\begin{aligned} A=\mu _{A}\left( x_{1}\right) /x_{1}+\mu _{A}\left( x_{2}\right) /x_{2}+\cdots +\mu _{A}\left( x_{p}\right) /x_{p}. \end{aligned}$$

As a result of mapping a set A by the function f we obtain the following fuzzy set B (defined in the universe \(\mathbb {Y}\)) [16]

$$\begin{aligned} B=f\left( A\right) =\mu _{A}\left( x_{1}\right) /f\left( x_{1}\right) +\mu _{A}\left( x_{2}\right) /f\left( x_{2}\right) +\cdots +\mu _{A}\left( x_{p}\right) /f\left( x_{p}\right) , \end{aligned}$$

where \(+\) denotes a logical sum. For functions that are not injective (are not one-to-one mappings), a logical sum is performed using s-norm, and hence we can write [16]

$$\begin{aligned} \mu _{B}\left( y\right) =&{\left\{ \begin{array}{ll} \underset{\left\{ x\left| f\left( x\right) =y\right. \right\} }{\bigstar _{S}}\mu _{A}\left( x\right) , \quad &{} f^{-1}\left( y\right) \ne \emptyset ,\\ 0, &{} f^{-1}\left( y\right) =\emptyset , \end{array}\right. } \end{aligned}$$

where \(\bigstar _{S}\) stands for a multiargument s-norm, and \(f^{-1}\left( y\right) \) denotes the domain of function \(y = f(x)\).

Example 1.8

Suppose we have a fuzzy set A defined in the discrete universe \(\mathbb {X} = \left\{ -3,-2, \ldots , 3,4\right\} \subset \mathbb {R}\)

\( A= \left\{ \left( x_{1}=-3, 0.8 \right) , \left( x_{2}=-2, 0.5 \right) , \left( x_{3}=-1, 0.3 \right) , \left( x_{4}=0, 0.5 \right) , \right. \)

\(\left. \left( x_{5}=1, 0.8 \right) , \left( x_{6}=2, 0.1 \right) , \left( x_{7}=3, 0.8 \right) , \left( x_{8}=4, 0.7 \right) \right\} ,\)

and the function \(y = f(x) = 2x^{4}\), which is the mapping from \(\mathbb {X}\) to \(\mathbb {Y}\). Let us determine the mapping of A by the function f to the fuzzy set B.

Values of the function f arranged in ascending order are

\(f(x_{4}) = 0, f(x_{3}) = f(x_{5}) = 2, f\left( x_{2}\right) = f\left( x_{6}\right) = 32, f(x_{1}) = f(x_{7}) = 162,\)

\(f(x_{8}) = 512\).

Using (1.27) and Zadeh s-norm (maximum), the fuzzy set B is determined in the following way

\( B= \left\{ \left( 0, 0.5 \right) , \left( 2, \max \left( 0.3,0.8 \right) \right) , \left( 32, \max \left( 0.5,0.1 \right) \right) , \left( 162, \max \left( 0.8,0.8 \right) \right) , \right. \)

\(\left. \left( 512, 0.7 \right) \right\} = \left\{ \left( 0, 0.5 \right) , \left( 2, 0.8 \right) , \left( 32, 0.5 \right) , \left( 162, 0.8 \right) , \left( 512, 0.7 \right) \right\} \).

The above description concerned a one-argument function. Now let us consider a general case, a multiargument function \(y = f\left( x_{1},x_{2},\ldots ,x_{n}\right) \), which is a mapping from \(\mathbb {X}_{1}\times \mathbb {X}_{2}\times \cdots \times \mathbb {X}_{n}\) to \(\mathbb {Y}\). Suppose we have fuzzy sets \(A_{1},A_{2},\ldots ,A_{n}\), defined in universes \(\mathbb {X}_{1},\mathbb {X}_{2},\ldots ,\mathbb {X}_{n}\), respectively. The mapping of these sets by the function f leads to the following fuzzy set B (defined in universe \(\mathbb {Y}\)) [16]

$$\begin{aligned} \mu _{B}\left( y\right) =&{\left\{ \begin{array}{ll} \underset{\left\{ \left. \left( x_{1},\ldots ,x_{n}\right) \right| f\left( x_{1},\ldots ,x_{n}\right) =y\right\} }{\bigstar _{S}}\left[ \mu _{A_{1} }\left( x_{1}\right) \star _{T}\cdots \star _{T}\mu _{A_{n}}\left( x_{n}\right) \right] , &{} f^{-1}\left( y\right) \ne \emptyset ,\\ 0, &{} f^{-1}\left( y\right) =\emptyset . \end{array}\right. } \end{aligned}$$

4 Fuzzy Relations

A generalization of the concept of a fuzzy set is the idea of a fuzzy relation [26]. Let us consider a two-dimensional (binary) fuzzy relation R, which can be described by the set of ordered pairs: two objects x and y, and the membership degree \(\mu _{R}\left( x,y\right) \). It can be written as [5, 16]

$$\begin{aligned} R=\left\{ \left. \left[ \left( x,y\right) ,\mu _{R}\left( x,y\right) \right] \right| x\in \mathbb {X},y\in \mathbb {Y}\right\} . \end{aligned}$$

The membership degree \(\mu _{R}\left( x,y\right) \) can be understood as the degree of relationship between objects x and y; the higher the value of \(\mu _{R}\left( x,y\right) \), the greater is the degree of relationship. The membership degree \(\mu _{R}\left( x,y\right) \) is the value of membership function \(\mu _{R}:\mathbb {X}\times \mathbb {Y}\rightarrow [0,1]\) of fuzzy relation R. The presented two-dimensional fuzzy relation is also a two-dimensional fuzzy set defined in an universe \(\mathbb {X}\times \mathbb {Y}\).

Example 1.9

In universes \(\mathbb {X} = \mathbb {Y} = [100,160]\subset \mathbb {R}_{+}\) let us define the two-dimensional fuzzy relation R “Two FHR values (x and y) differ significantly.” As the membership function of such a relation we can assume

$$\begin{aligned} \mu _{R}\left( x,y \right) =1-\text {exp}\left( -\frac{\left( x-y\right) ^{2}}{2\delta ^{2}}\right) , \nonumber \end{aligned}$$

which for parameter \(\delta = 0.2\) is shown in Fig. 1.5.

Fig. 1.5
figure 5

Example of the membership function of two-dimensional fuzzy relation R “Two FHR values (x and y) differ significantly”

Example 1.10

Let us consider two discrete universes: \(\mathbb {X} = \left\{ 3500, 4000, 4500,\right. \) \(\left. 5000\right\} \subset \mathbb {R}_{+}\) and \(\mathbb {Y} = \left\{ 2000, 3000, 3500, 5000, 5500\right\} \subset \mathbb {R}_{+}\), comprising possible salaries in companies A and B, respectively. In universe \(\mathbb {X}\times \mathbb {Y}\) we can define the following fuzzy relation “The salary of an employee x in a company A is similar to the salary of an employee y in a company B.”

A relation defined in discrete universes can be described by a relation matrix. In this case it is as follows

where rows correspond to elements of the universe \(\mathbb {X}\), and columns to elements of the universe \(\mathbb {Y}\). In other words, the element R(ij) determines the degree of relationship between the ith object in \(\mathbb {X}\) and the jth object in \(\mathbb {Y}\).

In general, a multidimensional fuzzy relation is defined as follows [5, 16]

$$\begin{aligned} R = \left\{ \left. \left[ \left( x_{1},x_{2},\ldots ,x_{n}\right) ,\mu _{R}\left( x_{1},x_{2},\ldots ,x_{n}\right) \right] \right| x_{1} \in \mathbb {X}_{1},x_{2}\in \mathbb {X}_{2},\ldots ,x_{n}\in \mathbb {X} _{n}\right\} , \end{aligned}$$

where \(\mu _{R}:\mathbb {X}_{1}\times \mathbb {X}_{2}\times \cdots \times \mathbb {X}_{n}\rightarrow [0,1]\) is a membership function of an n-dimensional fuzzy relation R, that is, of an n-dimensional fuzzy set defined in universe \(\mathbb {X}_{1}\times \mathbb {X}_{2}\times \cdots \times \mathbb {X}_{n}\).

Because fuzzy relations are fuzzy sets, they are subject to the same operations as fuzzy sets, for example, the product of sets or an \(\alpha \)-cut set. Additionally, fuzzy relations may be composed. Let \(R_{1}\) and \(R_{2}\) be relations defined in universes \(\mathbb {X}\times \mathbb {Y}\) and \(\mathbb {Y}\times \mathbb {Z}\), respectively. Frequently used compositions are “supremum-t-norm” \((R_{1}\circ R_{2})\) and “infimum-s-norm” \((R_{1}\bullet R_{2})\), leading to the relation defined in an universe \(\mathbb {X}\times \mathbb {Z}\) [16]:

$$\begin{aligned} \mu _{R_{1}\circ R_{2}}\left( x,z\right) =\,\underset{y\in \mathbb {Y}}{\sup }\left[ \mu _{R_{1}}\left( x,y\right) \star _{T}\mu _{R_{2}}\left( y,z\right) \right] , \end{aligned}$$
$$\begin{aligned} \mu _{R_{1}\bullet R_{2}}\left( x,z\right) =\,\underset{y\in \mathbb {Y}}{\inf }\left[ \mu _{R_{1}}\left( x,y\right) \star _{S}\mu _{R_{2}}\left( y,z\right) \right] . \end{aligned}$$

For relations described by relation matrices, the above compositions can be achieved by multiplication of matrices with multiplication of elements replaced by t-norm (or s-norm), and the adding of elements replaced by maximum (or minimum).

Example 1.11

Suppose we have two fuzzy relations: \(R_{1}\) and \(R_{2}\) defined in discrete universes \(\mathbb {X} = \left\{ x_{1},x_{2},x_{3} \right\} \times \mathbb {Y} = \left\{ y_{1},{y}_{2} \right\} \) and \(\mathbb {Y} = \left\{ {y}_{1},{y}_{2} \right\} \times \mathbb {Z} = \left\{ {z}_{1},{z}_{2},{z}_{3} \right\} \), respectively, which are described by relational matrices:

The composition “maximum-t-norm” \((R_{1}\circ R_{2})\) with Zadeh t-norm (minimum) leads to the following relation

where, for example, element (1, 1) was determined as

\(\max \left( \min \left( 0.5,0.5 \right) , \min \left( 0.2,1.0 \right) \right) = \max \left( 0.5,0.2 \right) = 0.5\).

5 Cylindrical Extension and Projection of a Fuzzy Set

When analyzing fuzzy sets (fuzzy relations) defined in universes of different dimensionality, sometimes there is a need to increase or reduce dimensionality of one of the sets (one of the relations). To increase or reduce dimensionality, operations of cylindrical extension and projection were defined [26].

Cylindrical extension of a fuzzy set A leads to a fuzzy set (denoted by Ce\(\left( A\right) \)) of higher dimensionality. Let us assume we have a fuzzy set A defined in a one-dimensional universe \(\mathbb {X}\). Its cylindrical extension in two-dimensional universe \(\mathbb {X}\times \mathbb {Y}\) is defined as [16]

$$\begin{aligned} \underset{x\in \mathbb {X},y\in \mathbb {Y}}{\forall }\quad \mu _{\text {Ce}\left( A\right) }\left( x,y\right) =\mu _{A}\left( x\right) , \end{aligned}$$

and is illustrated in Fig. 1.6a, which shows the cylindrical extension of the fuzzy set A from Example 1.2 in the universe \(\mathbb {X}\times \mathbb {Y}\), where \(\mathbb {Y} = \left[ 0,50 \right] \subset \mathbb {R}\).

Fig. 1.6
figure 6

Cylindrical extension (a) and projection of a fuzzy set (b)

Example 1.12

Let us consider the cylindrical extension of the fuzzy set A from Example 1.6; that is,

\(A{=} \left\{ \left( low,0.1 \right) , \left( 18,0.4 \right) , \left( 19,0.5 \right) , \left( 20,0.8 \right) , \left( 21,0.9 \right) , \left( 22,1.0 \right) , \left( 23,0.8 \right) , \right. \)

\(\left. \left( 24,0.4 \right) , \left( high,0.1 \right) \right\} \),

in the universe \(\mathbb {X}\times \mathbb {Y}\), where \(\mathbb {Y} = \left\{ 1,2 \right\} \subset \mathbb {R}_{+}\).

Using (1.33) the following fuzzy set is obtained

\({\text {Ce(}}A){=} 0.1/\left( low,1 \right) {+} 0.4/\left( 18,1 \right) {+} 0.5/\left( 19,1 \right) {+} 0.8/\left( 20,1 \right) {+} 0.9/\left( 21,1 \right) +\)

\( + 1.0/\left( 22,1 \right) + 0.8/\left( 23,1 \right) + 0.4/\left( 24,1 \right) + 0.1/\left( high,1 \right) +\)

\( + 0.1/\left( low,2 \right) + 0.4/\left( 18,2 \right) + 0.5/\left( 19,2 \right) + 0.8/\left( 20,2 \right) + 0.9/\left( 21,2 \right) +\)

\( + 1.0/\left( 22,2 \right) + 0.8/\left( 23,2 \right) + 0.4/\left( 24,2 \right) + 0.1/\left( high,2 \right) \).

In general, let us assume we have a fuzzy set A defined in an m-dimensional universe \(\underline{\mathbb {X}} = \mathbb {X}_{1}\times \mathbb {X}_{2}\times \cdots \times \mathbb {X}_{m}\). The cylindrical extension of A in an \(m + n\)-dimensional universe \(\underline{\mathbb {XY}}=\underline{\mathbb {X}}\times \underline{\mathbb {Y}}\), where \(\underline{\mathbb {Y}} = \mathbb {Y}_{1}\times \mathbb {Y}_{2}\times \cdots \times \mathbb {Y}_{n}\), is defined as [16]

$$\begin{aligned} \underset{\underline{x}_{XY}\in {\underline{\mathbb {XY}}}}{\forall }\quad \mu _{\text {Ce}\left( A\right) }\left( \underline{x}_{XY}\right) =\mu _{A}\left( \underline{x}_{X}\right) , \end{aligned}$$

where \(\underline{x}_{XY}\) and \(\underline{x}_{X}\) denote objects from universes \(\underline{\mathbb {XY}}\) and \(\underline{\mathbb {X}}\), respectively.

Projection of a fuzzy set [26] leads to fuzzy sets of lower dimensionality. For example, let us consider a fuzzy set A defined in a two-dimensional universe \(\mathbb {X}\times \mathbb {Y}\) and described by the membership function presented in Fig. 1.6b. As a result of its projection in universes \(\mathbb {X}\) and \(\mathbb {Y}\) we can obtain two fuzzy sets [16]:

$$\begin{aligned} \underset{x\in \mathbb {X}}{\forall }\quad \mu _{\text {Proj}_{\mathbb {X}}\left( A\right) }\left( x\right) =\underset{y\in \mathbb {Y}}{\sup }\mu _{A}\left( x,y \right) , \end{aligned}$$


$$\begin{aligned} \underset{y\in \mathbb {Y}}{\forall }\quad \mu _{\text {Proj}_{\mathbb {Y}}\left( A\right) }\left( y\right) =\underset{x\in \mathbb {X}}{\sup }\mu _{A}\left( x,y \right) , \end{aligned}$$

which are also illustrated in Fig. 1.6b.

Example 1.13

In Example 1.11, the fuzzy relation \(R_{1}\) defined in the universe \(\mathbb {X} = \left\{ x_{1},x_{2},x_{3} \right\} \times \mathbb {Y} = \left\{ y_{1},y_{2} \right\} \) was presented

$$ R_{1}=\left[ \begin{array} [c]{cc} 0.5 &{} 0.2 \\ 0.1 &{} 1.0 \\ 0.6 &{} 0.5 \end{array} \right] . $$

As a result of its projection in universes \(\mathbb {X}\) and \(\mathbb {Y}\), according to (1.35) and (1.36) the following fuzzy sets can be obtained.

\(\text {Proj}_{\mathbb {X}}\left( R_{1}\right) = \max \left( 0.5,0.2 \right) /x_{1}+ \max \left( 0.1,1.0 \right) /x_{2} + \max \left( 0.6,0.5 \right) /x_{3} = \)


\(\text {Proj}_{\mathbb {Y}}\left( R_{1}\right) = \max \left( 0.5,0.1,0.6 \right) /y_{1}{+} \max \left( 0.2,1.0,0.5 \right) /y_{2} = 0.6/y_{1}{+}1.0/y_{2}\).

In general, let us assume we have a fuzzy set A defined in an \((m + n)\)-dimensional universe \(\underline{\mathbb {XY}} = \underline{\mathbb {X}}\times \underline{\mathbb {Y}}\). Its projection in an m-dimensional universe \(\underline{\mathbb {X}}\) is defined as [16]

$$\begin{aligned} \quad \underset{\underline{x}_{X}\in \underline{\mathbb {X}}}{\forall }\quad \mu _{\text {Proj}_{\underline{\mathbb {X}}}\left( A\right) }\left( \underline{x}_{X}\right) =\underset{\underline{x}_{Y}\in \underline{\mathbb {Y}}}{\sup } \mu _{A}\left( \underline{x}_{XY} \right) , \end{aligned}$$

where \(\underline{x}_{X}, \underline{x}_{Y}\), and \(\underline{x}_{XY}\) denote objects from universes \(\underline{\mathbb {X}}, \underline{\mathbb {Y}}\), and \(\underline{\mathbb {XY}}\), respectively.

6 Fuzzy Numbers

A separate class of fuzzy sets for describing imprecise expressions related to numbers (such as “about 5,” “more or less 10,” etc.) is distinguished [26]. Such sets are called fuzzy numbers and denoted by \(\widetilde{A}\), \(\widetilde{B}\), \(\ldots \) [16]. Usually, fuzzy numbers are regarded as fuzzy sets that are defined over the real axis and fulfill given conditions; for example, they are normal, compactly supported, and in some sense convex [15].

Basic operations on fuzzy numbers \(\widetilde{A}\) and \(\widetilde{B}\) can be defined based on the extension principle in the following way [16]:

  • addition

    $$\begin{aligned} \mu _{\widetilde{A}\oplus \widetilde{B}}\left( z\right) = \underset{\left\{ \left( x,y\right) \left| x+y=z\right. \right\} }{\sup }\left[ \mu _{\widetilde{A}}\left( x\right) \star _{T}\mu _{\widetilde{B}}\left( y\right) \right] , \end{aligned}$$
  • subtraction

    $$\begin{aligned} \mu _{\widetilde{A}\ominus \widetilde{B}}\left( z\right) = \underset{\left\{ \left( x,y\right) \left| x-y=z\right. \right\} }{\sup }\left[ \mu _{\widetilde{A}}\left( x\right) \star _{T}\mu _{\widetilde{B}}\left( y\right) \right] , \end{aligned}$$
  • multiplication

    $$\begin{aligned} \mu _{\widetilde{A}\otimes \widetilde{B}}\left( z\right) = \underset{\left\{ \left( x,y\right) \left| xy=z\right. \right\} }{\sup }\left[ \mu _{\widetilde{A}}\left( x\right) \star _{T}\mu _{\widetilde{B}}\left( y\right) \right] , \end{aligned}$$
  • division

    $$\begin{aligned} \mu _{\widetilde{A}\oslash \widetilde{B}}\left( z\right) = \underset{\left\{ \left( x,y\right) \left| x/y=z\right. \right\} }{\sup }\left[ \mu _{\widetilde{A}}\left( x\right) \star _{T}\mu _{\widetilde{B}}\left( y\right) \right] . \end{aligned}$$

Example 1.14

Let us calculate addition, subtraction, multiplication, and division of the following fuzzy numbers.

$$\begin{aligned} \widetilde{A}&= 0.5/-2+1.0/-1+0.5/0,\\ \widetilde{B}&= 0.8/4+1.0/5+0.8/6. \end{aligned}$$

It can be noticed that the first number represents a value “about \(-1\)” and the second one “about 5,” because membership degrees for \(-1\) and 5 are equal to 1. Useful calculations are presented in Table 1.2.

Table 1.2 Arithmetic operations on fuzzy numbers defined based on the extension principle

Using (1.38) and Zadeh t-norm (minimum), values of the membership function of the sum are calculated as follows:

\(\underset{x+y=2}{\sup } \left[ \min \left( 0.5,0.8 \right) \right] , \underset{x+y=3}{\sup } \left[ \min \left( 0.5,1.0 \right) , \min \left( 1.0,0.8 \right) \right] \),

\(\underset{x+y=4}{\sup } \left[ \min \left( 0.5,0.8 \right) , \min \left( 1.0,1.0 \right) , \min \left( 0.5,0.8 \right) \right] \),

\(\underset{x+y=5}{\sup } \left[ \min \left( 1.0,0.8 \right) , \min \left( 0.5,1.0 \right) \right] , \underset{x+y=6}{\sup } \left[ \min \left( 0.5,0.8\right) \right] \).

Finally we get

\( \left. \mu _{\widetilde{A}\oplus \widetilde{B}}\left( z\right) = 0.5/2 + 0.8/3 + 1.0/4 + 0.8/5 + 0.5/6 \right. \).

Values of the membership function of the subtraction, multiplication, and division are calculated similarly applying (1.39)–(1.41); final results are given below:

\(\mu _{\widetilde{B}\ominus \widetilde{A}}\left( z\right) = 0.5/4 + 0.8/5 + 1.0/6 + 0.8/7 + 0.5/8\),

\(\mu _{\widetilde{A}\otimes \widetilde{B}}\left( z\right) = 0.5/-12 + 0.5/-10 + 0.5/-8 + 0.8/-6 + 1.0/-5 + 0.8/-4+\)

\(+ 0.5/0\),

\(\mu _{\widetilde{B}\oslash \widetilde{A}}\left( z\right) = 0.8/-6 + 1.0/-5 + 0.8/-4 + 0.5/-3 + 0.5/-2.5 + 0.5/-2\).

It can be noted that the obtained results represent values: “about 4” (for the sum), “about 6” (subtraction), “about \(-5\)” (multiplication and division), which is consistent with classic arithmetic, for example, “about \(-1\)\( + \) “about 5” \( = \) “about 4.”

Fig. 1.7
figure 7

Arithmetic operations on fuzzy numbers using \(\alpha \)-cuts

The considered arithmetic operations were defined based on the extension principle. Alternatively \(\alpha \)-cuts of fuzzy numbers can be used. Figure 1.7a shows an \(\alpha \)-cut of a fuzzy set A (see (1.20) in Sect. 1.2). According to the figure, as a result of an \(\alpha \)-cut a classic set described by the interval \(\left[ a_{-},a_{+} \right] \) is obtained. Arithmetic operations on fuzzy numbers \(\widetilde{A}\) and \(\widetilde{B}\) using \(\alpha \)-cuts consist in application of interval arithmetic to intervals describing \(\alpha \)-cuts of these numbers: \(\widetilde{A}_{\alpha } = \left[ \widetilde{a}_{-},\widetilde{a}_{+} \right] \) and \(\widetilde{B}_{\alpha } = \left[ \widetilde{b}_{-},\widetilde{b}_{+} \right] \). According to [1] arithmetic operations are defined as follows:

$$\begin{aligned} \left( \widetilde{A}\oplus \widetilde{B}\right) _{\alpha }&= \left[ \widetilde{a}_{-}+\widetilde{b}_{-},\widetilde{a}_{+}+\widetilde{b}_{+}\right] ,\end{aligned}$$
$$\begin{aligned} \left( \widetilde{A}\ominus \widetilde{B}\right) _{\alpha }&= \left[ \widetilde{a}_{-}-\widetilde{b}_{+},\widetilde{a}_{+}-\widetilde{b}_{-}\right] ,\end{aligned}$$
$$\begin{aligned} \left( \widetilde{A}\otimes \widetilde{B}\right) _{\alpha }&= \left[ \min \left( \widetilde{a}_{-}\widetilde{b}_{-},\widetilde{a}_{-}\widetilde{b}_{+},\widetilde{a}_{+}\widetilde{b}_{-},\widetilde{a}_{+}\widetilde{b}_{+}\right) ,\right. \nonumber \\&\left. \max \left( \widetilde{a}_{-}\widetilde{b}_{-},\widetilde{a}_{-}\widetilde{b}_{+},\widetilde{a}_{+}\widetilde{b}_{-},\widetilde{a}_{+}\widetilde{b}_{+}\right) \right] ,\end{aligned}$$
$$\begin{aligned} \left( \widetilde{A}\oslash \widetilde{B}\right) _{\alpha }&= \left[ \min \left( \widetilde{a}_{-}/\widetilde{b}_{-},\widetilde{a}_{-}/\widetilde{b}_{+},\widetilde{a}_{+}/\widetilde{b}_{-},\widetilde{a}_{+}/\widetilde{b}_{+}\right) ,\right. \nonumber \\&\left. \max \left( \widetilde{a}_{-}/\widetilde{b}_{-},\widetilde{a}_{-}/\widetilde{b}_{+},\widetilde{a}_{+}/\widetilde{b}_{-},\widetilde{a}_{+}/\widetilde{b}_{+}\right) \right] , \quad {\text { if }} 0\notin \left[ \widetilde{b}_{-},\widetilde{b}_{+}\right] . \end{aligned}$$

Example 1.15

Suppose we have two fuzzy numbers described by triangular membership functions:

$$\begin{aligned} \mu _{\widetilde{A}}\left( x\right)&=\mu _{\widetilde{A}}\left( x;2,3,4\right) ,\\ \mu _{\widetilde{B}}\left( x\right)&=\mu _{\widetilde{B}}\left( x;4,5,7\right) , \end{aligned}$$

which are presented in Fig. 1.7b. Let us calculate addition, subtraction, multiplication, and division of \(\widetilde{A}\) and \(\widetilde{B}\) using their \(\alpha \)-cuts.

Based on equations of straight lines including sides of triangles we get intervals describing \(\alpha \)-cuts of \(\widetilde{A}\) and \(\widetilde{B}\) (for any \(\alpha \) in the range \(\left[ 0,1 \right] \)):

\(\widetilde{A}_{\alpha }=\left[ \alpha +2,-\alpha +4 \right] \), \(\widetilde{B}_{\alpha }=\left[ \alpha +4,-2\alpha +7 \right] \).

Applying (1.42) we get the interval

\(\left( \widetilde{A}\oplus \widetilde{B}\right) _{\alpha } = \left[ 2\alpha + 6, -3\alpha + 11 \right] \),

where limits are functions describing locations of the beginning and the end of the interval describing an \(\alpha \)-cut of the sum. Because functions are linear, replacing \(\alpha \) with 0 and 1 provides parameters of the triangular membership function of the sum

\(\mu _{\widetilde{A}\oplus \widetilde{B}}\left( x\right) =\mu _{\widetilde{A}\oplus \widetilde{B}}\left( x;6,8,11\right) \),

which is shown in Fig. 1.7c.

In a similar way, using (1.43) the results of the subtraction are obtained:

the interval

\(\left( \widetilde{A}\ominus \widetilde{B}\right) _{\alpha } = \left[ 3\alpha -5,-2\alpha \right] \)

and the membership function

\(\mu _{\widetilde{A}\ominus \widetilde{B}}\left( x\right) =\mu _{\widetilde{A}\ominus \widetilde{B}}\left( x;-5,-2,0\right) \),

which is presented in Fig. 1.7d.

Determining the product requires more comments. Applying (1.44), the minimum and the maximum are searched among functions: \(\alpha ^{2} + 6\alpha + 8\), \(-2\alpha ^{2} + 3\alpha + 14\), \(-\alpha ^{2} + 16\) and \(2\alpha ^{2} - 15\alpha + 28\). From the analysis of values of these functions for \(\alpha \) in the range \(\left[ 0,1 \right] \) the following interval is obtained

\(\left( \widetilde{A}\otimes \widetilde{B}\right) _{\alpha } = \left[ \alpha ^{2}+6\alpha +8,2\alpha ^{2}-15\alpha +28 \right] \).

Limits of the above interval are not linear functions, thus replacing \(\alpha \) with 0 and 1 provides only values of x, for which the membership function takes values 0 and 1; that is, \(\mu _{\widetilde{A}\otimes \widetilde{B}}\left( 8\right) = 0\), \(\mu _{\widetilde{A}\otimes \widetilde{B}}\left( 15\right) = 1\) and \(\mu _{\widetilde{A}\otimes \widetilde{B}}\left( 28\right) = 0\). To determine the membership function of the multiplication \(\mu _{\widetilde{A}\otimes \widetilde{B}}\left( x\right) \), the following equations should be solved (with respect to \(\alpha \)):

\(\alpha ^{2}+6\alpha +8=x\), \(2\alpha ^{2}-15\alpha +28=x\).

The solutions are as follows: \(\alpha _{1,2} = \left( -3 \pm \sqrt{1 + x} \right) \) for the first equation, and \(\alpha _{1,2}=\left( 15 \pm \sqrt{1 + 8x} \right) / 4\) for the second. In the case of the first equation, the function \(\left( -3 + \sqrt{1 + x} \right) \) is chosen as the membership function because it provides values in the range \(\left[ 0,1 \right] \) for \(x\in \left[ 8,15 \right] \). Considering the second equation, for \(x\in \left[ 15,28 \right] \) the values in the range \(\left[ 0,1 \right] \) are provided by the function \(\left( 15 - \sqrt{1 + 8x} \right) / 4\). Finally, the product is described by the following membership function

$$ \mu _{\widetilde{A}\otimes \widetilde{B}}\left( x\right) =\left\{ \begin{array} [c]{ll} -3+\sqrt{1+x}, &{} 8\le x\le 15,\\ \left( 15-\sqrt{1+8x}\right) /4, &{} 15<x\le 28,\\ 0, &{} x<8 \quad \text {or} \quad x>28, \end{array} \right. $$

which is shown in Fig. 1.7e.

The result of the division is calculated similarly applying (1.45), however, there is no need to select solutions of equations since each of them has a single solution. Finally, we get the membership function

$$ \mu _{\widetilde{A}\oslash \widetilde{B}}\left( x\right) =\left\{ \begin{array} [c]{ll} \frac{7x-2}{2x+1}, &{} \frac{2}{7}\le x\le 0.6,\\[6pt] \frac{4\left( 1-x\right) }{x+1}, &{} 0.6<x\le 1,\\[4pt] 0, &{} x<\frac{2}{7} \quad \text {or} \quad x>1, \end{array} \right. $$

which is presented in Fig. 1.7f.

Analyzing membership functions of the considered fuzzy numbers \(\widetilde{A}\) and \(\widetilde{B}\) it can be noted that they represent values “about 3” and “about 5,” because membership degrees for 3 and 5 are equal to 1. The obtained results of arithmetic operations are correct; for example, the subtraction provided value “about \(-2\).”

As opposed to classic arithmetic, where two numbers are equal or are not equal, in fuzzy arithmetic a “partial equality” is possible. One of the methods of determining the degree of equality is based on the distance between compared fuzzy sets [16]. According to it, the equality index of sets A and B is defined as Eq\(_{1}\left( A,B\right) = 1 - d_{p}\left( A,B\right) \), where \(d_{p}\left( A,B\right) \) denotes Minkowski distance between sets described by membership functions \(\mu _{A}\left( x\right) \) and \(\mu _{B}\left( x\right) \)

$$\begin{aligned} d_{p}\left( A,B\right) =\left( \int \limits _{\mathbb {X}}\left| \mu _{A}\left( x\right) -\mu _{B}\left( x\right) \right| ^{p}dx\right) ^{\frac{1}{p}},\qquad p>1. \end{aligned}$$

Minkowski distance between sets is also the basis of one of the methods of ranking fuzzy numbers [16]. According to it, to compare fuzzy numbers \(\widetilde{A}\) and \(\widetilde{B}\), the fuzzy number \(\widetilde{C}\) such as \(\widetilde{A}\le \widetilde{C}\) and \(\widetilde{B}\le \widetilde{C}\) is established. The comparison of \(\widetilde{A}\) and \(\widetilde{B}\) consists in the analysis of their Minkowski distances from \(\widetilde{C}\); it is stated that \(\widetilde{A}\le \widetilde{B}\) if \(d_{p}\left( \widetilde{A},\widetilde{C}\right) \ge d_{p}\left( \widetilde{B},\widetilde{C}\right) \). Most often \(\widetilde{C} = \max \left( \widetilde{A},\widetilde{B}\right) \) is established based on the extension principle [16]

$$\begin{aligned} \mu _{\max \left( \widetilde{A},\widetilde{B}\right) }\left( z\right) =\underset{\left\{ \left( x,y\right) \left| \max \left( x,y\right) =z\right. \right\} }{\sup }\left[ \mu _{\widetilde{A}}\left( x\right) \star _{T}\mu _{\widetilde{B}}\left( y\right) \right] . \end{aligned}$$

Another way of ranking fuzzy numbers is to use their \(\alpha \)-cuts [23].

The extension of the concept of fuzzy numbers are Ordered Fuzzy Numbers (OFNs) proposed in [14, 15]. The OFNs are ordered pairs of continuous real functions defined on the interval [0, 1] and their applications are the subject of research [4, 12, 17].

7 Summary

The chapter provides the review of basic issues concerning fuzzy sets, which – in contrast to classic sets – allow for partial membership of objects. As a result fuzzy sets are a good tool for representing vague and imprecise expressions of natural language. Various ways of describing fuzzy sets and concepts related to them were shown. We discussed the extension principle, which allows for extension of traditional mathematical functions to fuzzy sets, as well as the idea of fuzzy relation, which makes possible a formal description of the relationship between two or more fuzzy sets. Operations of cylindrical extension and projection of a fuzzy set, which enable increasing and reducing its dimensionality, were also described. A separate section was dedicated to fuzzy numbers and basic arithmetic operations on them.


  1. Alefeld, G., Mayer, G.: Interval analysis: theory and applications. J. Comput. Appl. Math. 121, 421–464 (2000)

    MathSciNet  CrossRef  MATH  Google Scholar 

  2. Atanassov, K.T.: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 20, 87–96 (1986)

    CrossRef  MATH  Google Scholar 

  3. Berkan, R.C., Trubatch, S.L.: Fuzzy Systems Design Principles. IEEE Press, New York (1997)

    MATH  Google Scholar 

  4. Czerniak, J.M., Dobrosielski, W.T., Apiecionek, L., Ewald, D.: Representation of a trend in OFN during fuzzy observance of the water level from the crisis control center. In: Proceedings of the Federated Conference on Computer Science and Information Systems, IEEE Digital Library, ACSIS, vol. 5, pp. 443–447 (2015)

    Google Scholar 

  5. Czogala, E., Leski, J.: Fuzzy and Neuro-Fuzzy Intelligent Systems. Physica-Verlag, A Springer Company, Heidelberg (2000)

    CrossRef  MATH  Google Scholar 

  6. Dubois, D., Prade, H.: Fuzzy Sets and Systems. Theory and Applications. Mathematics in Science and Engineering, vol. 144. Academic Press, Inc., San Diego (1980)

    CrossRef  MATH  Google Scholar 

  7. Engelbrecht, A.P.: Computational Intelligence. An Introduction, 2nd edn. Wiley, Chichester (2007)

    CrossRef  Google Scholar 

  8. Grattan-Guinness, I.: Fuzzy membership mapped onto intervals and many-valued quantities. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 22, 149–160 (1976)

    MathSciNet  CrossRef  MATH  Google Scholar 

  9. Hirota, K.: Concepts of probabilistic sets. Fuzzy Sets Syst. 5, 31–46 (1981)

    MathSciNet  CrossRef  MATH  Google Scholar 

  10. Hirota, K.: Industrial Applications of Fuzzy Technology. Springer, Tokyo (1993)

    CrossRef  Google Scholar 

  11. Jahn, K.U.: Interval-valued sets. Mathematische Nachrichten 68, 115–132 (1975)

    MathSciNet  CrossRef  Google Scholar 

  12. Kacprzak, D., Kosinski, W.: Optimizing firm inventory costs as a fuzzy problem. Stud. Log. Gramm. Rhetor. 37(50), 89–105 (2014)

    Google Scholar 

  13. Kacprzyk, J.: Multistage Fuzzy Control (in Polish). WNT, Warsaw (2001)

    Google Scholar 

  14. Kosinski, W., Prokopowicz, P., Slezak, D.: Calculus with fuzzy numbers. In: Bolc, L., Michalewicz, Z., Nishida, T. (eds.) Proceedings of IMTCI 2004. Lecture Notes in Artificial Intelligence, vol. 3490, pp. 21–28. Springer (2004)

    Google Scholar 

  15. Kosinski, W., Prokopowicz, P., Slezak, D.: Ordered fuzzy numbers. Bull. Pol. Acad. Sci. Math. 51(3), 327–339 (2003)

    MathSciNet  MATH  Google Scholar 

  16. Leski, J.: Neuro-Fuzzy Systems (in Polish). WNT, Warsaw (2008)

    Google Scholar 

  17. Marszalek, A., Burczynski, T.: Modeling and forecasting financial time series with ordered fuzzy candlesticks. Inf. Sci. 273, 144–155 (2014)

    MathSciNet  CrossRef  MATH  Google Scholar 

  18. Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning About Data. Kluwer, Dordrecht (1991)

    MATH  Google Scholar 

  19. Pedrycz, W.: Fuzzy Control and Fuzzy Systems, 2nd extended edn. Research Studies Press Ltd, Taunton (1993)

    Google Scholar 

  20. Rutkowski, L.: Methods and Techniques of Artificial Intelligence (in Polish). Wydawnictwo Naukowe PWN, Warsaw (2005)

    Google Scholar 

  21. Sambuc, R.: Fonctions \(\phi \)-floues. Application l’aide au diagnostic en pathologie thyroidienne. Ph.D. Thesis, Univ. Marseille (1975)

    Google Scholar 

  22. Terano, T., Asai, K., Sugeno, M.: Applied Fuzzy Systems. Academic Press Professional, Boston (1994)

    MATH  Google Scholar 

  23. Wang, L.-X.: A Course in Fuzzy Systems and Control. Prentice-Hall International Inc, Upper Saddle River (1997)

    MATH  Google Scholar 

  24. Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338–353 (1965)

    CrossRef  MATH  Google Scholar 

  25. Zadeh, L.A.: Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. Syst. Man Cybern. 3(1), 28–44 (1973)

    MathSciNet  CrossRef  MATH  Google Scholar 

  26. Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning - I. Inf. Sci. 8, 199–249 (1975)

    MathSciNet  CrossRef  MATH  Google Scholar 

  27. Zimmermann, H.-J.: Fuzzy Set Theory and Its Applications, 2nd edn. Kluwer Academic Publishers, Boston (1991)

    CrossRef  MATH  Google Scholar 

Download references


This work was supported by the Ministry of Science and Higher Education funding for statutory activities (BK-220/RAu-3/2016).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Michal Jezewski .

Editor information

Editors and Affiliations

Rights and permissions

This chapter is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.

Copyright information

© 2017 The Author(s)

About this chapter

Cite this chapter

Jezewski, M., Czabanski, R., Leski, J. (2017). Introduction to Fuzzy Sets. In: Prokopowicz, P., Czerniak, J., Mikołajewski, D., Apiecionek, Ł., Ślȩzak, D. (eds) Theory and Applications of Ordered Fuzzy Numbers. Studies in Fuzziness and Soft Computing, vol 356. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59613-6

  • Online ISBN: 978-3-319-59614-3

  • eBook Packages: EngineeringEngineering (R0)