# Fuzzy set

(Redirected from Fuzzy relation equation)

In mathematics, fuzzy sets (aka uncertain sets) are somewhat like sets whose elements have degrees of membership. Fuzzy sets were introduced independently by Lotfi A. Zadeh[1] and Dieter Klaua[2] in 1965 as an extension of the classical notion of set. At the same time, Salii (1965) defined a more general kind of structure called an L-relation, which he studied in an abstract algebraic context. Fuzzy relations, which are used now in different areas, such as linguistics (De Cock, Bodenhofer & Kerre 2000), decision-making (Kuzmin 1982), and clustering (Bezdek 1978), are special cases of L-relations when L is the unit interval [0, 1].

In classical set theory, the membership of elements in a set is assessed in binary terms according to a bivalent condition — an element either belongs or does not belong to the set. By contrast, fuzzy set theory permits the gradual assessment of the membership of elements in a set; this is described with the aid of a membership function valued in the real unit interval [0, 1]. Fuzzy sets generalize classical sets, since the indicator functions (aka characteristic functions) of classical sets are special cases of the membership functions of fuzzy sets, if the latter only take values 0 or 1.[3] In fuzzy set theory, classical bivalent sets are usually called crisp sets. The fuzzy set theory can be used in a wide range of domains in which information is incomplete or imprecise, such as bioinformatics.[4]

## Definition

A fuzzy set is a pair ${\displaystyle (U,m)}$ where ${\displaystyle U}$ is a set and ${\displaystyle m\colon U\rightarrow [0,1]}$ a membership function. The reference set ${\displaystyle U}$ (sometimes denoted by ${\displaystyle \Omega }$ or ${\displaystyle X}$) is called universe of discourse, and for each ${\displaystyle x\in U,}$ the value ${\displaystyle m(x)}$ is called the grade of membership of ${\displaystyle x}$ in ${\displaystyle (U,m)}$. The function ${\displaystyle m=\mu (A)}$ is called the membership function of the fuzzy set ${\displaystyle A=(U,m)}$.

For a finite set ${\displaystyle U=\{x_{1},\dots ,x_{n}\},}$ the fuzzy set ${\displaystyle (U,m)}$ is often denoted by ${\displaystyle \{m(x_{1})/x_{1},\dots ,m(x_{n})/x_{n}\}.}$

Let ${\displaystyle x\in U.}$ Then ${\displaystyle x}$ is called

• not included in the fuzzy set ${\displaystyle (U,m)}$ if ${\displaystyle m(x)=0}$ (no member),
• fully included if ${\displaystyle m(x)=1}$ (full member),
• partially included if ${\displaystyle 0 (fuzzy member).[5]

The (crisp) set of all fuzzy sets on a universe ${\displaystyle U}$ is denoted with ${\displaystyle SF(U)}$ (or sometimes just ${\displaystyle F(U)}$).[6]

### Crisp sets related to a fuzzy set

For any fuzzy set ${\displaystyle A=(U,m)}$ and ${\displaystyle \alpha \in [0,1]}$ the following crisp sets are defined:

• ${\displaystyle A^{\geq \alpha }=A_{\alpha }=\{x\in U\mid m(x)\geq \alpha \}}$ is called its α-cut (aka α-level set)
• ${\displaystyle A^{>\alpha }=A'_{\alpha }=\{x\in U\mid m(x)>\alpha \}}$ is called its strong α-cut (aka strong α-level set)
• ${\displaystyle S(A)=Supp(A)=A^{>0}=\{x\in U\mid m(x)>0\}}$ is called its support
• ${\displaystyle C(A)=Core(A)=A^{=1}=\{x\in U\mid m(x)=1\}}$ is called its core (or sometimes kernel ${\displaystyle Kern(A)}$).

Note that some authors understand 'kernel' in a different way, see below.

### Other definitions

• A fuzzy set ${\displaystyle A=(U,m)}$ is empty (${\displaystyle A=\varnothing }$) iff (if and only if)
${\displaystyle \forall }$${\displaystyle x\in U:\mu _{A}(x)=m(x)=0}$
• Two fuzzy sets ${\displaystyle A}$ and ${\displaystyle B}$ are equal (${\displaystyle A=B}$) iff
${\displaystyle \forall x\in U:\mu _{A}(x)=\mu _{B}(x)}$
• A fuzzy set ${\displaystyle A}$ is included in a fuzzy set ${\displaystyle B}$ (${\displaystyle A\subseteq B}$) iff
${\displaystyle \forall x\in U:\mu _{A}(x)\leq \mu _{B}(x)}$
• For any fuzzy set ${\displaystyle A}$, any ${\displaystyle x\in U}$, having
${\displaystyle \mu _{A}(x)=0.5}$
is called a crossover point.
• For a given fuzzy set A any ${\displaystyle \alpha \in [0,1]}$ for which ${\displaystyle A^{=\alpha }=\{x\in U|\mu _{A}(x)=\alpha \}}$ is not empty, is called a level of A.

The level set of A is the set of all levels α∈[0,1] representing distinct-cuts. It is the target set (aka codomain) of ${\displaystyle \mu _{A}}$:

${\displaystyle \Lambda _{A}=\{\alpha \in [0,1]\mid A^{=\alpha }\neq \varnothing \}=\{\alpha \in [0,1]\mid \,}$ ${\displaystyle \exists }$${\displaystyle x\in {U}:\mu _{A}(x)=\alpha \}=\mu _{A}(U)}$
• For a fuzzy set ${\displaystyle A}$ its height is given by
${\displaystyle Hgt(A)=sup\{\mu _{A}(x)\mid x\in {U}\}=sup(\mu _{A}(U))}$
where ${\displaystyle sup}$ denotes the supremum, which does exist because 1 is an upper bound. If U is finite, we can simply replace the supremum by the maximum.
• A fuzzy set ${\displaystyle A}$ is said to be normalized iff
${\displaystyle Hgt(A)=1}$
In the finite case, where the supremum is a maximum, this means that at least one element of the fuzzy set has full membership. A non-empty fuzzy set ${\displaystyle A}$ may be normalized with result ${\displaystyle {\tilde {A}}}$ by dividing the membership function of the fuzzy set by its height:
${\displaystyle \forall x\in {U}:\mu _{\tilde {A}}(x)=\mu _{A}(x)/Hgt(A)}$
Besides similarities this differs from the usual normalization in that the normalizing constant is not a sum.
• For fuzzy sets ${\displaystyle A}$ of real numbers (U ⊆ ℝ) having a core with an upper and a lower bound the width is defined as
${\displaystyle Width(A)=sup(Supp(A))-inf(Supp(A))}$
This does always exist for bounded a reference set U, especially if U is finite.
In case that ${\displaystyle Supp(A)}$ is a finite or closed set, the width is just
${\displaystyle Width(A)=max(Supp(A))-min(Supp(A))}$
In the n-dimensional case (U ⊆ ℝn) the above can be replaced by the n-dimensional volume of ${\displaystyle Supp(A)}$.
In general there must exist some measure for instance by integration (e. g. Lebesgue integration) of ${\displaystyle Supp(A)}$.
• A real fuzzy set ${\displaystyle A}$ (U ⊆ ℝ) is said to be convex (in fuzzy sense, not to be confused with a crisp convex set), iff
${\displaystyle \forall x,y\in {U},\forall \lambda \in [0,1]:\mu _{A}(\lambda {x}+(1-\lambda )y)\geq min(\mu _{A}(x),\mu _{A}(y))}$,
or (if we assume x≤y, which is no restriction), equivalent, iff
${\displaystyle \forall z\in [x,y]:\mu _{A}(z)\geq min(\mu _{A}(x),\mu _{A}(y))}$.
In general, we may have to choose subsets Z of U and compare like follows:
${\displaystyle \forall z\in Z:\mu _{A}(z)\geq inf(\mu _{A}(\partial {Z}))}$,
where ${\displaystyle \partial {Z}}$ denotes the boundary of Z and ${\displaystyle f(X)=\{f(x)|x\in X\}}$ denotes the image of a set X (here ${\displaystyle \partial {Z}}$) under a function f (here ${\displaystyle \mu _{A}}$).

### Fuzzy set operations

In contrast to the complement of a fuzzy set, for which there is a very common definition, union and intersection do have some ambiguity.

• For a given fuzzy set ${\displaystyle A}$ its complement ${\displaystyle \neg {A}}$ (sometimes denoted as ${\displaystyle A^{c}}$ or ${\displaystyle A}$) is defined by the following membership function:
${\displaystyle \forall x\in {U}:\mu _{\neg {A}}(x)=1-\mu _{A}(x)}$.
• Let t be a t-norm, and s the corresponding s-norm (aka t-conorm). For given fuzzy sets ${\displaystyle A,B}$ their intersection ${\displaystyle A\cap {B}}$ is defined by:
${\displaystyle \forall x\in {U}:\mu _{A\cap {B}}(x)=t(\mu _{A}(x),\mu _{B}(x))}$,
and their union ${\displaystyle A\cup {B}}$ is defined by:
${\displaystyle \forall x\in {U}:\mu _{A\cup {B}}(x)=s(\mu _{A}(x),\mu _{B}(x))}$.

According to the definitions of t-norms, fuzzy sets inherit laws as Commutativity, Monotonicity, Associativity and for null and identity element (∅ and U, respectively). However, the union of a fuzzy set and its complement may not result in the full universe U, and the intersection of them may not give the empty set ∅. Intersection and union of a finite family of fuzzy sets can be defined by recursion, keeping associativity law in mind.

• If the standard negator ${\displaystyle n(\alpha )=1-\alpha ,\alpha \in [0,1]}$ is replaced by another strong negator, the fuzzy set difference may be generalized by
${\displaystyle \forall x\in {U}:\mu _{\neg {A}}(x)=n(\mu _{A}(x))}$.
The tripel of fuzzy intersection, union and complement build up a 'De Morgan Triplet. Examples for fuzzy intersection/union pairs with standard negator can be derived from samples provided in the article about t-norms.
The fuzzy intersection is not idempotent in general, because the standard t-norm min is the only one which has this property. Using arithmetic multiplication a t-norm instead, this defines a specific fuzzy intersection operation not being idempotent. By this, iterating multiplication of a fuzzy set with itself is not trivial. It defines the m-th power of a fuzzy set which can be canonically generalized for non-integer exponents in the following way:
• For any fuzzy set ${\displaystyle A}$ and ${\displaystyle \nu \in \mathbb {R} ^{+}}$ the ν-th power of A is defined by its membership function as follows:
${\displaystyle \forall x\in {U}:\mu _{A^{\nu }}(x)=\mu _{A}(x)^{\nu }}$
Special case: Exponent is 2 (quadrature): For any fuzzy set ${\displaystyle A}$ the concentration ${\displaystyle CON(A)=A^{2}}$ is defined via its membership function as follows:
${\displaystyle \forall x\in {U}:\mu _{CON(A)}(x)=\mu _{A^{2}}(x)=\mu _{A}(x)^{2}}$
With ${\displaystyle 0^{0}:=1}$ we have ${\displaystyle A^{0}=U}$, ${\displaystyle A^{1}=A}$.
• For given fuzzy sets ${\displaystyle A,B}$ the fuzzy set Difference ${\displaystyle A\setminus B}$ (sometimes denoted just ${\displaystyle A-B}$) maybe defined straightforward via membership functions:
${\displaystyle \forall x\in {U}:\mu _{A\setminus {B}}(x)=t(\mu _{A}(x),n(\mu _{B}(x)))}$,
which means ${\displaystyle A\setminus B=A\cap \neg {B}}$, e. g.:
${\displaystyle \forall x\in {U}:\mu _{A\setminus {B}}(x)=min(\mu _{A}(x),1-\mu _{B}(x))}$.[7][8]
Another proposal for a set difference could be:
${\displaystyle \forall x\in {U}:\mu _{A-{B}}(x)=\mu _{A}(x)-t(\mu _{A}(x),\mu _{B}(x))}$.[8]
• Proposals for symmetric fuzzy set differences have been done by Dubois and Prade (1980), either using the absulute:
${\displaystyle \forall x\in {U}:\mu _{A\triangle {B}}(x)=|\mu _{A}(x)-\mu _{B}(x)|}$
or, using a combination of just max, min, and standard negation:
${\displaystyle \forall x\in {U}:\mu _{A\triangle {B}}(x)=max(min(\mu _{A}(x),1-\mu _{B}(x)),\,min(\mu _{B}(x),1-\mu _{A}(x)))}$[8]
Axioms for definition of generalized symmetric differences analog to those for t-norms, t-conorms, and negators have been proposed by Vemur et al. (2014) with predecessors by Alsina et. al. (2005) and Bedregal et. al. (2009).[8]
• In contrast to crisp sets averaging operations can also be defined for fuzzy sets.

### Disjoint fuzzy sets

In contrast to the general ambiguity of intersection and union operations, there is clearness for disjoint fuzzy sets: Two fuzzy sets ${\displaystyle A,B}$ are disjoint iff

${\displaystyle \forall x\in {U}:\mu _{A}(x)=0\lor \mu _{B}(x)=0}$

which is equivalent to

${\displaystyle \nexists }$ ${\displaystyle x\in {U}:\mu _{A}(x)>0\land \mu _{B}(x)>0}$

and also equivalent to

${\displaystyle \forall x\in {U}:min(\mu _{A}(x),\mu _{B}(x))=0}$

We keep in mind that min/max is a t/s-norm pair, and any other will do the job here as well.

Fuzzy sets are disjoint, iff their supports are disjoint according to the standard definition for crisp sets.

For disjoint fuzzy sets ${\displaystyle A,B}$ any intersection will give ∅, and any union will give the same result, which is denoted as

${\displaystyle A{\dot {\cup }}B=A\cup B}$

with its membership function given by

${\displaystyle \forall x\in {U}:\mu _{A{\dot {\cup }}{B}}(x)=\mu _{A}(x)+\mu _{B}(x)}$

Note that only one of both summands is greater than zero.

For disjoint fuzzy sets ${\displaystyle A,B}$ the following holds true:

${\displaystyle Supp(A{\dot {\cup }}B)=Supp(A)\,{\dot {\cup }}\,Supp(B)}$

This can be generalized to finite families of fuzzy sets as follows: Given a family ${\displaystyle A=(A_{i})_{i\in {I}}}$ of fuzzy sets with Index set I (e.g. I = {1,2,3,...n}). This family is (pairwise) disjoint iff

${\displaystyle \forall x\in {U}\,\exists i\in {I}:\mu _{A_{i}}(x)=0}$

A family of fuzzy sets ${\displaystyle A=(A_{i})_{i\in {I}}}$ is disjoint, iff the family of underlying supports ${\displaystyle Supp\circ A=(Supp(A_{i}))_{i\in {I}}}$ is disjoint in the standard sense for families of crisp sets.

Independend of the t/s-norm pair, intersection of a disjoint family of fuzzy sets will give ∅ again, while the union has no ambiguity:

${\displaystyle {\dot {\bigcup \limits _{i\in {I}}}}A_{i}=\bigcup _{i\in {I}}A_{i}}$

with its membership function given by

${\displaystyle \forall x\in {U}:\mu _{{\dot {\bigcup \limits _{i\in {I}}}}A_{i}}(x)=\sum _{i\in {I}}\mu _{A_{i}}(x)}$

Again only one of the summands is greater than zero.

For disjoint families of fuzzy sets ${\displaystyle A=(A_{i})_{i\in {I}}}$ the following holds true:

${\displaystyle Supp({\dot {\bigcup \limits _{i\in {I}}}}A_{i})={\dot {\bigcup \limits _{i\in {I}}}}Supp(A_{i})}$

### Scalar Cardinality

For a fuzzy set ${\displaystyle A}$ with finite ${\displaystyle Supp(A)}$ (i. e. a 'finite fuzzy set'), its cardinality (aka scalar cardinality or sigma-count) is given by

${\displaystyle Card(A)=sc(A)=|A|=\sum _{x\in {U}}\mu _{A}(x)}$.

In case that U itself is a finite set, the relative cardinality is given by

${\displaystyle RelCard(A)=||A||=sc(A)/|U|=|A|/|U|}$.

This can be generalized for the divisor to be an non-empty fuzzy set: For fuzzy sets ${\displaystyle A,G}$ with G ≠ ∅, we can define the relative cardinality by:

${\displaystyle RelCard(A,G)=sc(A|G)=sc(A\cap {G})/sc(G)}$,

which looks very similar to the expression for conditional probability. Note:

• ${\displaystyle sc(G)>0}$ here.
• The result may depend on the specific intersection (t-norm) chosen.
• For ${\displaystyle G=U}$ the result is unambiguous and resembles the prior definition.

### Distance and Similarity

For any fuzzy set ${\displaystyle A}$ the membership function ${\displaystyle \mu _{A}:U\to U}$ can be regarded as a family ${\displaystyle \mu _{A}=(\mu _{A}(x))_{x\in {U}}\in [0,1]^{U}}$. The latter is a metric space with several metrics ${\displaystyle d}$ known. A metric can be derived from a norm (vector norm) ${\displaystyle \|\,\|}$ via

${\displaystyle d(\alpha ,\beta )=\|\alpha -\beta \,\|}$.

For instance, if ${\displaystyle U}$ is finite, i. e. ${\displaystyle U=\{x_{1},x_{2},...x_{n}\}}$, such a metric may be defined by:

${\displaystyle d(\alpha ,\beta ):=max\{|\alpha (x_{i})-\beta (x_{i})|{\bigl \vert }i=1..n\}}$ where ${\displaystyle \alpha }$ and ${\displaystyle \beta }$ are sequences of real numbes between 0 and 1.

For infinite ${\displaystyle U}$, the maximum can be replaced by a supremum. Because fuzzy sets are unambiguously defined by their membership function, this metric can be used to measure distances between fuzzy sets on the same universe:

${\displaystyle d(A,B):=d(\mu _{A},\mu _{B})}$,

which becomes in the above sample:

${\displaystyle d(A,B)=max\{|\mu _{A}(x_{i})-\mu _{B}(x_{i})|{\bigl \vert }i=1..n\}}$

Again for infinite ${\displaystyle U}$ the maximum must be replaced by a supremum. Other distances (like the canonical 2-norm) may diverge, if infinite fuzzy sets are too different, e .g ${\displaystyle \varnothing }$ and ${\displaystyle U}$.

Similarity measures (here denoted by ${\displaystyle S}$) may then be derived from the distance, e. g. after a proposal by Koczy:

${\displaystyle S=1/(1+d(A,B))}$ if ${\displaystyle d(A,B)}$ is finite, ${\displaystyle 0}$ else,

or after Williams an Steele:

${\displaystyle S=exp(-\alpha {d(A,B)})}$ if ${\displaystyle d(A,B)}$ is finite, ${\displaystyle 0}$ else

where ${\displaystyle \alpha >0}$ is a steepness parameter and ${\displaystyle exp(x)=e^{x}}$.[6]

Another definition for interval valued (rather 'fuzzy') similarity measures ${\displaystyle \zeta }$ is provided by Beg and Ashraf as well.[6]

### L-fuzzy sets

Sometimes, more general variants of the notion of fuzzy set are used, with membership functions taking values in a (fixed or variable) algebra or structure ${\displaystyle L}$ of a given kind; usually it is required that ${\displaystyle L}$ be at least a poset or lattice. These are usually called L-fuzzy sets, to distinguish them from those valued over the unit interval. The usual membership functions with values in [0, 1] are then called [0, 1]-valued membership functions. These kinds of generalizations were first considered in 1967 by Joseph Goguen, who was a student of Zadeh.[9] A classical corollary may be indicating truth and membership values by {f,t} instead of {0,1}.

An extension of fuzzy sets has been provided by Atanassov and Baruah. An intuitionistic fuzzy set (IFS) ${\displaystyle A}$ is characterized by two functions:

1. ${\displaystyle \mu _{A}(x)}$ - degree of membership of x
2. ${\displaystyle \nu _{A}(x)}$ - degree of non-membership of x

with functions ${\displaystyle \mu _{A},\nu _{A}:U\mapsto [0,1]}$ with ${\displaystyle \forall x\in U:\mu _{A}(x)+\nu _{A}(x)\leq 1}$

This resembles a situation like some person denoted by ${\displaystyle x}$ voting

• for a proposal A (${\displaystyle \mu _{A}(x)=1,\nu _{A}(x)=0}$),
• against it (${\displaystyle \mu _{A}(x)=0,\nu _{A}(x)=1}$),
• or abstain from voting (${\displaystyle \mu _{A}(x)=\nu _{A}(x)=0}$).

After all, we have a percentage of approvals, a percentage of denials, and a percentage of abstentions.

For this situation, special 'intuitive fuzzy' negators, t- and s-norms can be provided. With ${\displaystyle D^{*}=\{(\alpha ,\beta )\in [0,1]^{2}\mid \alpha +\beta =1\}}$ and by combining both functions to ${\displaystyle (\mu _{A},\nu _{A}):U\to D^{*}}$ this situation resembles a special kind of L-fuzzy sets.

Once more, this has been expanded by defining picture fuzzy sets (PFS) as follows: A PFS A is characterized by three functions mapping U to [0, 1]: ${\displaystyle \mu _{A},\eta _{A},\nu _{A}}$, 'degree of positive membership', 'degree of neutral membership', and 'degree of negative membership' respectively and additional condition ${\displaystyle \forall x\in U:\mu _{A}(x)+\eta _{A}(x)+\nu _{A}(x)\leq 1}$ This expands the voting sample above by an additional possibility 'refusal of voting'.

With ${\displaystyle D^{*}=\{(\alpha ,\beta ,\gamma )\in [0,1]^{3}\mid \alpha +\beta +\gamma =1\}}$ and special 'picture fuzzy' negators, t- and s-norms this resembles just another type of L-fuzzy sets.[10][11]

## Fuzzy logic

As an extension of the case of multi-valued logic, valuations (${\displaystyle \mu :{\mathit {V}}_{o}\to {\mathit {W}}}$) of propositional variables (${\displaystyle {\mathit {V}}_{o}}$) into a set of membership degrees (${\displaystyle {\mathit {W}}}$) can be thought of as membership functions mapping predicates into fuzzy sets (or more formally, into an ordered set of fuzzy pairs, called a fuzzy relation). With these valuations, many-valued logic can be extended to allow for fuzzy premises from which graded conclusions may be drawn.[12]

This extension is sometimes called "fuzzy logic in the narrow sense" as opposed to "fuzzy logic in the wider sense," which originated in the engineering fields of automated control and knowledge engineering, and which encompasses many topics involving fuzzy sets and "approximated reasoning."[13]

Industrial applications of fuzzy sets in the context of "fuzzy logic in the wider sense" can be found at fuzzy logic.

## Fuzzy number and interval

A fuzzy number is a convex, normalized fuzzy set ${\displaystyle {\mathit {A}}\subseteq \mathbb {R} }$ of real numbers (U ⊆ ℝ) whose membership function is at least segmentally continuous[clarification needed] and has the functional value ${\displaystyle \mu _{A}(x)=1}$ at at least one element.[3] Because of the assumed convexity the maximum (of 1) is

• either an interval: fuzzy interval, its core is a crisp interval (mean interval) with lower bound
${\displaystyle \min \,C(A)=\min(\{x\in \mathbb {R} \mid \mu _{A}(x)=1\})}$
and upper bound
${\displaystyle \max \,C(A)=\max(\{x\in \mathbb {R} \mid \mu _{A}(x)=1\})}$.
• or unique: fuzzy number, its core is a singleton; the location of the maximum is
℩ C(A) = ℩${\displaystyle x\in \mathbb {R} :\mu _{A}(x)=1}$ (where ℩ reads as 'this');
which will assign a 'sharp' number to the fuzzy number, in addition to fuzzyness parameters like ${\displaystyle Width(A)}$.

Fuzzy numbers can be likened to the funfair game "guess your weight," where someone guesses the contestant's weight, with closer guesses being more correct, and where the guesser "wins" if he or she guesses near enough to the contestant's weight, with the actual weight being completely correct (mapping to 1 by the membership function).

A fuzzy interval is a fuzzy set ${\displaystyle {\mathit {A}}\subseteq \mathbb {R} }$ with a core interval, i. e. a mean interval whose elements possess the membership function value ${\displaystyle \mu _{A}(x)=1}$. The latter means that fuzzy intervals are normalized fuzzy sets. As in fuzzy numbers, the membership function must be convex, normalized, at least segmentally continuous.[14] Like crisp intervals, fuzzy intervals may reach infinity. The kernel ${\displaystyle K(A)=Kern(A)}$ of a fuzzy interval ${\displaystyle A}$ is defined as the 'inner' part, without the 'outbound' parts where the membership value is constant ad infinitum. In other words, the smallest subset of ${\displaystyle \mathbb {R} }$ where ${\displaystyle \mu _{A}(x)}$ is constant outside of it, is defined as the kernel.

However, there are other concepts of fuzzy numbers and intervals as some authors do not insist on convexity.

## Fuzzy categories

The use of set membership as a key components of category theory can be generalized to fuzzy sets. This approach which initiated in 1968 shortly after the introduction of fuzzy set theory[15] led to the development of "Goguen categories" in the 21st century.[16] [17] In these categories, rather than using two valued set membership, more general intervals are used, and may be lattices as in L-fuzzy sets.[17][18]

## Fuzzy relation equation

The fuzzy relation equation is an equation of the form A · R = B, where A and B are fuzzy sets, R is a fuzzy relation, and A · R stands for the composition of A with R[citation needed].

## Entropy

A measure d of fuzzyness for fuzzy sets of universe ${\displaystyle U}$ should fulfill the following conditions for all ${\displaystyle x\in U}$:

1. ${\displaystyle d(A)=0}$ if ${\displaystyle A}$ is a crisp set: ${\displaystyle \mu _{A}(x)\in \{0,\,1\}}$
2. ${\displaystyle d(A)}$ has a unique maximum iff ${\displaystyle \forall x\in U:\mu _{A}(x)=0.5}$
3. ${\displaystyle d(A)\geq d(B)}$ iff
${\displaystyle \mu _{a}(x)\leq \mu _{B}(x)}$ for ${\displaystyle \mu _{A}(x)\leq 0.5}$ and
${\displaystyle \mu _{a}(x)\geq \mu _{B}(x)}$ for ${\displaystyle \mu _{A}(x)\geq 0.5}$,
which means that B is 'crisper' than A.
1. ${\displaystyle d(\neg {A})=d(A)}$

In this case ${\displaystyle d(A)}$ is called the entropy of the fuzzy set A.

For finite ${\displaystyle U=\{x_{1},x_{2},...x_{n}\}}$ the entropy of a fuzzy set ${\displaystyle A}$ is given by

${\displaystyle d(A)=H(A)+H(\neg {A})}$,
${\displaystyle H(A)=-k\sum _{i=1}^{n}\mu _{A}(x_{i})\ln \mu _{A}(x_{i})}$

or just

${\displaystyle d(A)=-k\sum _{i=1}^{n}S(\mu _{A}(x_{i}))}$

where ${\displaystyle S(x)=H_{e}(x)}$ is Shannon's function (natural entropy function)

${\displaystyle S(\alpha )=-\alpha \ln \alpha -(1-\alpha )\ln(1-\alpha ),\alpha \in [0,1]}$

and ${\displaystyle k}$ is a constant depending on the measure unit and the logarithm base (here: e) used. Physical interpretation of k is the Boltzmann constant kB.

Let ${\displaystyle A}$ be a fuzzy set with a continuous membership function (fuzzy variable). Then

${\displaystyle H(A)=-k\int _{-\infty }^{\infty }\operatorname {Cr} \lbrace A\geq t\rbrace \ln \operatorname {Cr} \lbrace A\geq t\rbrace \,dt}$

and its entropy is

${\displaystyle d(A)=-k\int _{-\infty }^{\infty }S(\operatorname {Cr} \lbrace A\geq t\rbrace )\,dt}$

## Extensions

There are many mathematical constructions similar to or more general than fuzzy sets. Since fuzzy sets were introduced in 1965, a lot of new mathematical constructions and theories treating imprecision, inexactness, ambiguity, and uncertainty have been developed. Some of these constructions and theories are extensions of fuzzy set theory, while others try to mathematically model imprecision and uncertainty in a different way (Burgin & Chunihin 1997; Kerre 2001; Deschrijver and Kerre, 2003).

The diversity of such constructions and corresponding theories includes:

• interval sets (Moore, 1966),
• L-fuzzy sets (Goguen, 1967),
• flou sets (Gentilhomme, 1968),
• Boolean-valued fuzzy sets (Brown, 1971),
• type-2 fuzzy sets and type-n fuzzy sets (Zadeh, 1975),
• set-valued sets (Chapin, 1974; 1975),
• interval-valued fuzzy sets (Grattan-Guinness, 1975; Jahn, 1975; Sambuc, 1975; Zadeh, 1975),
• functions as generalizations of fuzzy sets and multisets (Lake, 1976),
• level fuzzy sets (Radecki, 1977)
• underdetermined sets (Narinyani, 1980),
• rough sets (Pawlak, 1982),
• intuitionistic fuzzy sets (Atanassov, 1983),
• fuzzy multisets (Yager, 1986),
• intuitionistic L-fuzzy sets (Atanassov, 1986),
• rough multisets (Grzymala-Busse, 1987),
• fuzzy rough sets (Nakamura, 1988),
• real-valued fuzzy sets (Blizard, 1989),
• named sets (Burgin, 1990),
• vague sets (Wen-Lung Gau and Buehrer, 1993),
• Q-sets (Gylys, 1994)
• α-level sets (Yao, 1997),
• genuine sets (Demirci, 1999),
• soft sets (Molodtsov, 1999),
• intuitionistic fuzzy rough sets (Cornelis, De Cock and Kerre, 2003)
• blurry sets (Smith, 2004)
• L-fuzzy rough sets (Radzikowska and Kerre, 2004),
• generalized rough fuzzy sets (Feng, 2010)
• rough intuitionistic fuzzy sets (Thomas and Nair, 2011),
• soft rough fuzzy sets (Meng, Zhang and Qin, 2011)
• soft fuzzy rough sets (Meng, Zhang and Qin, 2011)
• soft multisets (Alkhazaleh, Salleh and Hassan, 2011)
• fuzzy soft multisets (Alkhazaleh and Salleh, 2012)
• bipolar fuzzy sets (Wen-Ran Zhang, 1998)
• multi-fuzzy sets (Sabu Sebastian, 2009)

While most of the above can be generally categorized as truth-based extensions to fuzzy sets, bipolar fuzzy set theory presents a philosophically and logically different, equilibrium-based generalization of fuzzy sets.[21][22][23]

## Notes

1. ^ L. A. Zadeh (1965) "Fuzzy sets". Information and Control 8 (3) 338–353.
2. ^ Klaua, D. (1965) Über einen Ansatz zur mehrwertigen Mengenlehre. Monatsb. Deutsch. Akad. Wiss. Berlin 7, 859–876. A recent in-depth analysis of this paper has been provided by Gottwald, S. (2010). "An early approach toward graded identity and graded membership in set theory". Fuzzy Sets and Systems. 161 (18): 2369–2379. doi:10.1016/j.fss.2009.12.005.
3. ^ a b D. Dubois and H. Prade (1988) Fuzzy Sets and Systems. Academic Press, New York.
4. ^ Lily R. Liang, Shiyong Lu, Xuena Wang, Yi Lu, Vinay Mandal, Dorrelyn Patacsil, and Deepak Kumar, "FM-test: A Fuzzy-Set-Theory-Based Approach to Differential Gene Expression Data Analysis", BMC Bioinformatics, 7 (Suppl 4): S7. 2006.
5. ^ AAAI Archived 2008-08-05 at the Wayback Machine.
6. ^ a b c Ismat Beg, Samina Ashraf: Similarity measures for fuzzy sets, at: Applied and Computational Mathematics, March 2009, available on Research Gate since November 23rd, 2016
7. ^ Mamoni Dhar: Cardinality of Fuzzy Sets: An Overview, International Journal of Energy, Information and Communications Vol. 4, Issue 1, February 2013
8. ^ a b c d N.R. Vemuri, A.S. Hareesh, M.S. Srinath: Set Difference and Symmetric Difference of Fuzzy Sets, in: Fuzzy Sets Theory and Applications 2014, Liptovský Ján, Slovak Republic
9. ^ Goguen, Joseph A., 196, "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18: 145–174
10. ^ Bui Cong Cuong, Vladik Kreinovich, Roan Thi Ngan: A classification of representable t-norm operators for picture fuzzy sets, in: Departmental Technical Reports (CS). Paper 1047, 2016
11. ^ Tridiv Jyoti Neog, Dusmanta Kumar Sut: Complement of an Extended Fuzzy Set, in: International Journal of Computer Applications (097 5–8887), Volume 29 No.3, September 2011
12. ^ Siegfried Gottwald, 2001. A Treatise on Many-Valued Logics. Baldock, Hertfordshire, England: Research Studies Press Ltd., ISBN 978-0-86380-262-1
13. ^ "The concept of a linguistic variable and its application to approximate reasoning," Information Sciences 8: 199–249, 301–357; 9: 43–80.
14. ^ "Fuzzy sets as a basis for a theory of possibility," Fuzzy Sets and Systems 1: 3–28
15. ^ J. A. Goguen "Categories of fuzzy sets : applications of non-Cantorian set theory" PhD Thesis University of California, Berkeley, 1968
16. ^ Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 Springer ISBN 9781402061639
17. ^ a b Michael Winter "Representation theory of Goguen categories" Fuzzy Sets and Systems Volume 138, Issue 1, 16 August 2003, Pages 85–126
18. ^ Goguen, J.A., "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18(1):145–174, 1967
19. ^ Xuecheng, Liu: Entropy, distance measure and similarity measure of fuzzy sets and their relations (alternate link at ScienceDirect); Fuzzy sets and systems 52.3 (1992): 305–318; DOI:10.1016/0165-0114(92)90239-Z
20. ^ Xiang Li: Fuzzy cross-entropy, in: Journal of Uncertainty Analysis and Applications; Springer Berlin Heidelberg; December 2015, 3:2; Online ISSN 2195-5468; DOI:10.1186/s40467-015-0029-5; PDF
21. ^ Zhang, W. -R. (1998). (Yin)(Yang) Bipolar Fuzzy Sets. Proc. of IEEE World Congress on Computational Intelligence – Fuzz-IEEE, Anchorage, AK, May 1998, 835-840.
22. ^ Zhang, W. -R. & Zhang, L. (2004). YinYang Bipolar Logic and Bipolar Fuzzy Logic. Information Sciences. Vol. 165, No. 3-4, 2004, 265–287.
23. ^ Zhang, W.-R. (2011), YinYang Bipolar Relativity: A Unifying Theory of Nature, Agents and Causality with Applications in Quantum Computing, Cognitive Informatics and Life Sciences. IGI Global, Hershey and New York, 2011.

## References

• Alkhazaleh, S. and Salleh, A.R. Fuzzy Soft Multiset Theory, Abstract and Applied Analysis, 2012, article ID 350600, 20 p.
• Alkhazaleh, S., Salleh, A.R. and Hassan, N. Soft Multisets Theory, Applied Mathematical Sciences, v. 5, No. 72, 2011, pp. 3561–3573
• Atanassov, K. T. (1983) Intuitionistic fuzzy sets, VII ITKR's Session, Sofia (deposited in Central Sci.-Technical Library of Bulg. Acad. of Sci., 1697/84) (in Bulgarian)
• Atanasov, K. (1986) Intuitionistic Fuzzy Sets, Fuzzy Sets and Systems, v. 20, No. 1, pp. 87–96
• Bezdek, J.C. (1978). "Fuzzy partitions and relations and axiomatic basis for clustering". Fuzzy Sets and Systems. 1. pp. 111–127.
• Blizard, W.D. (1989) Real-valued Multisets and Fuzzy Sets, Fuzzy Sets and Systems, v. 33, pp. 77–97
• Brown, J.G. (1971) A Note on Fuzzy Sets, Information and Control, v. 18, pp. 32–39
• Brutoczki Kornelia: Fuzzy Logic (Diploma) - Although this script has a lot of odditiies and intracies due to its incompleteness, it may be used a template for exercise in removing these issues.
• Burgin, M. Theory of Named Sets as a Foundational Basis for Mathematics, in Structures in Mathematical Theories, San Sebastian, 1990, pp.  417-420
• Burgin M. and Chunihin, A. (1997) Named Sets in the Analysis of Uncertainty, in Methodological and Theoretical Problems of Mathematics and Information Sciences, Kiev, pp.  72-85
• Gianpiero Cattaneo and Davide Ciucci, "Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets" in J.J. Alpigini et al. (Eds.): RSCTC 2002, LNAI 2475, pp. 77–84, 2002. doi:10.1007/3-540-45813-1_10
• Chamorro-Martínez, J. et al.: A discussion on fuzzy cardinality and quantification. Some applications in image processing, SciVerse ScienceDirect: Fuzzy Sets and Systems 257 (2014) 85–101, 30 May 2013
• Chapin, E.W. (1974) Set-valued Set Theory, I, Notre Dame J. Formal Logic, v. 15, pp. 619–634
• Chapin, E.W. (1975) Set-valued Set Theory, II, Notre Dame J. Formal Logic, v. 16, pp. 255–267
• Chris Cornelis, Martine De Cock and Etienne E. Kerre, Intuitionistic fuzzy rough sets: at the crossroads of imperfect knowledge, Expert Systems, v. 20, issue 5, pp. 260–270, 2003
• Cornelis, C., Deschrijver, C., and Kerre, E. E. (2004) Implication in intuitionistic and interval-valued fuzzy set theory: construction, classification, application, International Journal of Approximate Reasoning, v. 35, pp. 55–95
• De Cock, Martine; Bodenhofer, Ulrich; Kerre, Etienne E. (1–4 October 2000). Modelling Linguistic Expressions Using Fuzzy Relations. Proceedings of the 6th International Conference on Soft Computing. Iizuka, Japan. pp. 353–360.
• Demirci, M. (1999) Genuine Sets, Fuzzy Sets and Systems, v. 105, pp. 377–384
• Deschrijver, G.; Kerre, E.E. (2003). "On the relationship between some extensions of fuzzy set theory". Fuzzy Sets and Systems. 133 (2): 227–235.
• Didier Dubois, Henri M. Prade, ed. (2000). Fundamentals of fuzzy sets. The Handbooks of Fuzzy Sets Series. 7. Springer. ISBN 978-0-7923-7732-0.
• Feng F. Generalized Rough Fuzzy Sets Based on Soft Sets, Soft Computing, July 2010, Volume 14, Issue 9, pp 899–911
• Gentilhomme, Y. (1968) Les ensembles flous en linguistique, Cahiers Linguistique Theoretique Appliqee, 5, pp. 47–63
• Gogen, J.A. (1967) L-fuzzy Sets, Journal Math. Analysis Appl., v. 18, pp. 145–174
• Gottwald, S. (2006). "Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches". Studia Logica. 82 (2): 211–244. doi:10.1007/s11225-006-7197-8.. Gottwald, S. (2006). "Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches". Studia Logica. 84: 23–50. doi:10.1007/s11225-006-9001-1. preprint..
• Grattan-Guinness, I. (1975) Fuzzy membership mapped onto interval and many-valued quantities. Z. Math. Logik. Grundladen Math. 22, pp. 149–160.
• Grzymala-Busse, J. Learning from examples based on rough multisets, in Proceedings of the 2nd International Symposium on Methodologies for Intelligent Systems, Charlotte, NC, USA, 1987, pp. 325–332
• Gylys, R. P. (1994) Quantal sets and sheaves over quantales, Liet. Matem. Rink., v. 34, No. 1, pp. 9–31.
• Ulrich Höhle, Stephen Ernest Rodabaugh, ed. (1999). Mathematics of fuzzy sets: logic, topology, and measure theory. The Handbooks of Fuzzy Sets Series. 3. Springer. ISBN 978-0-7923-8388-8.
• Jahn, K. U. (1975) Intervall-wertige Mengen, Math.Nach. 68, pp. 115–132
• Kaufmann, Arnold. Introduction to the theory of fuzzy subsets. Vol. 2. Academic Pr, 1975.
• Kerre, E.E. (2001). B. Reusch; K-H. Temme, eds. A first view on the alternatives of fuzzy set theory. Computational Intelligence in Theory and Practice. Heidelberg: Physica-Verlag. pp. 55–72. ISBN 978-3-7908-1357-9.
• George J. Klir; Bo Yuan (1995). Fuzzy sets and fuzzy logic: theory and applications. Prentice Hall. ISBN 978-0-13-101171-7.
• Kuzmin, V.B. (1982). "Building Group Decisions in Spaces of Strict and Fuzzy Binary Relations" (in Russian). Nauka, Moscow.
• Lake, J. (1976) Sets, fuzzy sets, multisets and functions, J. London Math. Soc., II Ser., v. 12, pp. 323–326
• Meng, D., Zhang, X. and Qin, K. Soft rough fuzzy sets and soft fuzzy rough sets, 'Computers & Mathematics with Applications', v. 62, issue 12, 2011, pp. 4635–4645
• Miyamoto, S. Fuzzy Multisets and their Generalizations, in 'Multiset Processing', LNCS 2235, pp. 225–235, 2001
• Molodtsov, O. (1999) Soft set theory – first results, Computers & Mathematics with Applications, v. 37, No. 4/5, pp. 19–31
• Moore, R.E. Interval Analysis, New York, Prentice-Hall, 1966
• Nakamura, A. (1988) Fuzzy rough sets, 'Notes on Multiple-valued Logic in Japan', v. 9, pp. 1–8
• Narinyani, A.S. Underdetermined Sets – A new datatype for knowledge representation, Preprint 232, Project VOSTOK, issue 4, Novosibirsk, Computing Center, USSR Academy of Sciences, 1980
• Pedrycz, W. Shadowed sets: representing and processing fuzzy sets, IEEE Transactions on System, Man, and Cybernetics, Part B, 28, 103–109, 1998.
• Radecki, T. Level Fuzzy Sets, 'Journal of Cybernetics', Volume 7, Issue 3-4, 1977
• Radzikowska, A.M. and Etienne E. Kerre, E.E. On L-Fuzzy Rough Sets, Artificial Intelligence and Soft Computing – ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7–11, 2004, Proceedings; 01/2004
• Salii, V.N. (1965). "Binary L-relations". Izv. Vysh. Uchebn. Zaved. Matematika (in Russian). 44 (1): 133–145.
• Ramakrishnan, T.V., and Sabu Sebastian (2010) 'A study on multi-fuzzy sets', Int. J. Appl. Math. 23, 713-721.
• Sabu Sebastian and Ramakrishnan, T. V.(2010) Multi-fuzzy sets, Int. Math. Forum 50, 2471-2476.
• Sabu Sebastian and Ramakrishnan, T. V.(2011) Multi-fuzzy sets: an extension of fuzzy sets, Fuzzy Inf.Eng. 1, 35-43.
• Sabu Sebastian and Ramakrishnan, T. V.(2011) Multi-fuzzy extensions of functions, Advance in Adaptive Data Analysis 3, 339-350.
• Sabu Sebastian and Ramakrishnan, T. V.(2011) Multi-fuzzy extension of crisp functions using bridge functions, Ann. Fuzzy Math. Inform. 2 (1), 1-8
• Sambuc, R. Fonctions φ-floues: Application a l'aide au diagnostic en pathologie thyroidienne, Ph. D. Thesis Univ. Marseille, France, 1975.
• Seising, Rudolf: The Fuzzification of Systems. The Genesis of Fuzzy Set Theory and Its Initial Applications—Developments up to the 1970s (Studies in Fuzziness and Soft Computing, Vol. 216) Berlin, New York, [et al.]: Springer 2007.
• Smith, N.J.J. (2004) Vagueness and blurry sets, 'J. of Phil. Logic', 33, pp. 165–235
• Thomas, K.V. and L. S. Nair, Rough intuitionistic fuzzy sets in a lattice, 'International Mathematical Forum', Vol. 6, 2011, no. 27, 1327–1335
• Werro, Nicolas: Fuzzy Classification of Online Customers, University of Fribourg, Switzerland, 2008, Chapter 2
• Yager, R. R. (1986) On the Theory of Bags, International Journal of General Systems, v. 13, pp. 23–37
• Yao, Y.Y., Combination of rough and fuzzy sets based on α-level sets, in: Rough Sets and Data Mining: Analysis for Imprecise Data, Lin, T.Y. and Cercone, N. (Eds.), Kluwer Academic Publishers, Boston, pp. 301–321, 1997.
• Y. Y. Yao, A comparative study of fuzzy sets and rough sets, Information Sciences, v. 109, Issue 1-4, 1998, pp. 227 – 242
• Zadeh, L. (1975) The concept of a linguistic variable and its application to approximate reasoning–I, Inform. Sci., v. 8, pp. 199–249
• Hans-Jürgen Zimmermann (2001). Fuzzy set theory—and its applications (4th ed.). Kluwer. ISBN 978-0-7923-7435-0.