- freely available
- re-usable

*Axioms*
**2012**,
*1*(1),
9-20;
doi:10.3390/axioms1010009

^{1}

^{2}

## Abstract

**:**Several discrete universal integrals on finite universes are discussed from an axiomatic point of view. We start from the first attempt due to B. Riemann and cover also most recent approaches based on level dependent capacities. Our survey includes, among others, the Choquet and the Sugeno integral and general copula-based integrals.

## 1. Introduction

Constructive approaches to integration can be traced as far back as ancient Egypt around 1850 BC: the Moscow Mathematical Papyrus (Problem 14) contains a formula for the volume of a frustum of a square pyramid. The first documented systematic technique capable of determining integrals is the method of exhaustion of the ancient Greek astronomer Eudoxus (ca. 370 BC) who tried to find areas and volumes by approximating them by a (large) number of shapes for which the area or volume was known. This method was further developed by Archimedes in the third century BC who calculated the area of parabolas and gave an approximation to the area of a circle. Similar methods were independently developed in China around the third century AD by Liu Hui, who used it to find the area of the circle. This was further developed in the fifth century by the Chinese mathematicians Zu Chongzhi and Zu Geng to find the volume of a sphere. In the same century, the Indian mathematician Aryabhata used a similar method in order to find the volume of a cube. More than 1000 years later, Johannes Kepler invented the Kepler’sche Fassregel [1] (today also known as Simpson rule) in order to compute the (approximative) volume of (wine) barrels.

Based on the fundamental work of Isaac Newton and Gottfried Wilhem Leibniz in the 18th century (see [2,3]), the first indubitable access to integration was given by Bernhard Riemann in his Habilitation Thesis at the University of Göttingen [4]. The Riemann integral is the best known integral, taught in each Calculus course - an axiomatization of this functional, however, was given in the late 20th century only. We present here the approach given in [5, Theorem 1].

**Theorem 1.1** Let ϕ be continuous on an interval $\left[a,b\right]$, and let ${I}_{u}^{v}$ be defined for $a\le u\le v\le b$. Suppose that

- (A)
- $${I}_{a}^{x+\Delta x}={I}_{a}^{x}+{I}_{x}^{x+\Delta x}$$

- (B)
- $$\left(\underset{\left[x,x+\Delta x\right]}{min}\phi \right)\Delta x\le {I}_{x}^{x+\Delta x}\le \left(\underset{\left[x,x+\Delta x\right]}{max}\phi \right)\Delta x$$

A rather big delay between construction and axiomatization can be observed also in the case of other well-known integrals such as the Choquet and the Sugeno integral. Possible reasons for that may be hidden in the following quotation of Albert Einstein where he speaks about the modern development of a theory, using his own relativity theory as an example [6, pp. 238–239]:

“That is to say, the hypotheses from which one starts become ever more abstract and more remote from experience. But in return one comes closer to the preeminent goal of science, that of encompassing a maximum of empirical contents through logical deduction with a minimum of hypotheses or axioms.”

We discuss a special class of integrals—$[0,1]$-valued discrete universal integrals—from an axiomatic point of view. After having recalled the basic notions of capacities (fuzzy measures) and $[0,1]$-valued discrete universal integrals, we shall present an axiomatic approach to the Lebesgue, Choquet and Sugeno integral. This will be followed by an axiomatic characterization of copula-based universal integrals. Finally, some recently introduced functionals are studied, including the induced Choquet integral and a Sugeno-type integral based on level dependent capacities.

## 2. Capacities and $[0,1]$-Valued Discrete Universal Integrals

Throughout this paper, we consider a fixed finite universe X, i.e., without loss of generality we may assume $X=\{1,2,\cdots ,n\}$.

**Definition 2.1** A capacity (or fuzzy measure) on X is a non-decreasing set function $m:{2}^{X}\to [0,1]$ which satisfies the boundary conditions $m(\varnothing )=0$ and $m\left(X\right)=1$.

Requiring additional properties, one obtains special types of capacities: for example, additive capacities are just probability measures on $(X,{2}^{X})$, while maxitive capacities are possibility measures [7].

Let us denote by ${\mathcal{M}}_{n}$ the set of all capacities on X and by ${\mathcal{F}}_{n}$ the set of all functions from X to $[0,1]$. The concept of universal integrals, which can be defined for arbitrary capacities on arbitrary measurable spaces $(X,\mathcal{A})$ and for arbitrary measurable functions $f:X\to [0,1]$, was axiomatically introduced in [8].

In this contribution, we use $[0,1]$-valued discrete universal integrals as the general framework for our investigations.

**Definition 2.2** A function $\mathbf{I}:{\bigcup}_{n\in \mathbb{N}}\left({\mathcal{M}}_{n}\times {\mathcal{F}}_{n}\right)\to [0,1]$ is called a $[0,1]$-valued discrete universal integral if it satisfies the following axioms:

- (A1)
**I**is non-decreasing in each component;- (A2)
$\mathbf{I}(m,{\mathbf{1}}_{E})=m\left(E\right)$ for all $X=\{1,2,\cdots ,n\}$, $m\in {\mathcal{M}}_{n}$, and $E\subseteq X$;

- (A3)
$\mathbf{I}(m,c\xb7{\mathbf{1}}_{X})=c$ for all $X=\{1,2,\cdots ,n\}$, $m\in {\mathcal{M}}_{n}$, and $c\in [0,1]$;

- (A4)
$\mathbf{I}({m}_{1},{f}_{1})=\mathbf{I}({m}_{2},{f}_{2})$ for all pairs $({m}_{1},{f}_{1})\in {\mathcal{M}}_{{n}_{1}}\times {\mathcal{F}}_{{n}_{1}}$ and $({m}_{2},{f}_{2})\in {\mathcal{M}}_{{n}_{2}}\times {\mathcal{F}}_{{n}_{2}}$ satisfying ${m}_{1}\left(\{{f}_{1}\ge t\}\right)={m}_{2}\left(\{{f}_{2}\ge t\}\right)$ for each $t\in [0,1]$.

It is not difficult to check that, as a consequence of (A4), the value $\mathbf{I}(m,c\xb7{\mathbf{1}}_{E})$ depends on the constant $c\in [0,1]$ and the value $m\left(E\right)\in [0,1]$ only, i.e., there is an operation $\otimes :{[0,1]}^{2}\to [0,1]$ such that, for each $c\in [0,1]$ and each $E\subseteq \{1,2,\cdots ,n\}$, we have $\mathbf{I}(m,c\xb7{\mathbf{1}}_{E})=c\otimes m\left(E\right)$. This operation ⊗ turns out to be a semicopula [9], i.e., it is non-decreasing in each component and has 1 as neutral element:

**Proposition 2.3.** Let **I** be a $[0,1]$-valued discrete universal integral. Then there exists a semicopula ⊗ such that we have $\mathbf{I}(m,c\xb7{\mathbf{1}}_{E})=c\otimes m\left(E\right)$ for all $n\in \mathbb{N}$, $m\in {\mathcal{M}}_{n}$, $c\in [0,1]$, and $E\subseteq \{1,2,\cdots ,n\}$.

## 3. Special $[0,1]$-Valued Discrete Universal Integrals

Denote by ${S}_{n}$ the set of all permutations $\sigma :\{1,2,\cdots ,n\}\to \{1,2,\cdots ,n\}$. Given a capacity m on a measurable space $(X,\mathcal{A})$ and a measurable function $f:X\to [0,1]$, the Choquet integral [10] is defined by

Another way of looking at the discrete Choquet integral is using the so-called Lovász extension [11] (see also [12] who generalized the approach given in [13]):

The axiomatization of the Choquet integral [16,17,18] is based on the notion of comonotonicity: two functions $f,g:X\to [0,1]$ are said to be comonotone (in symbols $f\sim g$) if, for all $i,j\in X$, we have $\left(f\right(i)-f(j\left)\right)\xb7\left(g\right(i)-g(j\left)\right)\ge 0$.

**Theorem 3.1** Consider a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then, for each $n\in \mathbb{N}$ there is a capacity $m\in {\mathcal{M}}_{n}$ such that for all $f\in {\mathcal{F}}_{n}$ we have $\mathbf{J}\left(f\right)=\mathbf{Ch}(m,f)$ if and only if

- (M)
$\mathbf{J}$ is non-decreasing;

- (C1)
$\mathbf{J}\left({\mathbf{1}}_{X}\right)=1$ for all $n\in \mathbb{N}$ and $X=\{1,2,\cdots ,n\}$;

- (C2)
$\mathbf{J}$ is comonotone additive, i.e., for each $n\in \mathbb{N}$ and all $f,g\in {\mathcal{F}}_{n}$ satisfying $f+g\in {\mathcal{F}}_{n}$ and $f\sim g$ we have $\mathbf{J}(f+g)=\mathbf{J}\left(f\right)+\mathbf{J}\left(g\right)$.

Proof: The necessity is obvious. In order to show sufficiency, define first, for each $n\in \mathbb{N}$, the set function $m:{2}^{\{1,\cdots ,n\}}\to [0,1]$ by $m\left(E\right)=\mathbf{J}\left({\mathbf{1}}_{E}\right)$ and show that $m\in {\mathcal{M}}_{n}$. Indeed, the boundary conditions of m follow from (C1) and (C2), and (M) implies that m is non-decreasing. For $f\in {\mathcal{F}}_{n}$ and $\sigma \in {S}_{n}$ with $f\left(\sigma \right(1\left)\right)\le f\left(\sigma \right(2\left)\right)\le \cdots \le f\left(\sigma \right(n\left)\right)$ we have (using the convention $\sigma \left(0\right)=0$)

For more details and alternative axiomatizations of the Choquet integral see [19].

**Example 3.2** The requirement (M) in Theorem 3.1 cannot be omitted, as this counterexample shows: put $n=3$ and identify each function $f\in {\mathcal{F}}_{3}$ with the triplet $({x}_{1},{x}_{2},{x}_{3})\in {[0,1]}^{3}$, i.e., $f\left(i\right)={x}_{i}$. Then the function $\mathbf{J}:{\mathcal{F}}_{3}\to [0,1]$ defined by

The Sugeno integral [20] is defined by

An axiomatization of the Sugeno integral was given in [21] (compare also with [19]):

**Theorem 3.3** Consider a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then, for each $n\in \mathbb{N}$ there is a capacity $m\in {\mathcal{M}}_{n}$ such that for all $f\in {\mathcal{F}}_{n}$ we have $\mathbf{J}\left(f\right)=\mathbf{Su}(m,f)$ if and only if

- (S1)
$\mathbf{J}\left({\mathbf{1}}_{X}\right)=1$ for all $n\in \mathbb{N}$ and $X=\{1,2,\cdots ,n\}$;

- (S2)
**J**is comonotone maxitive, i.e., for each $n\in \mathbb{N}$ and all $f,g\in {\mathcal{F}}_{n}$ with $f\u223eg$ we have $\mathbf{J}(max(f,g\xb7))=max\left(\mathbf{J}\right(f),\mathbf{J}(g\left)\right)$;- (S3)
**J**is min-homogeneous, i.e., for each $n\in \mathbb{N}$ and $X=\{1,2,\cdots ,n\}$, for all $f\in {\mathcal{F}}_{n}$ and for all $c\in [0,1]$ we have $\mathbf{J}(min(f,c\xb7{\mathbf{1}}_{X}))=min\left(\mathbf{J}\right(f),c)$.

Proof: The necessity is obvious. In order to show sufficiency, define, for each $n\in \mathbb{N}$, the set function $m:{2}^{\{1,\cdots ,n\}}\to [0,1]$ by $m\left(E\right)=\mathbf{J}({\mathbf{1}}_{E})$. Then (S1) and (S3) imply $m\left(X\right)=1$ and $m(\varnothing )=0)$, and (S2) ensures that m is non-decreasing, i.e., $m\in {\mathcal{M}}_{n}$. For the rest of the proof it is enough to take into account that each $f\in {\mathcal{F}}_{n}$ can be expressed in the form $f=\underset{i=1}{\overset{n}{\bigvee}}min(f\left(\sigma \left(i\right)\right)\xb7{\mathbf{1}}_{X},{\mathbf{1}}_{\left\{\sigma \right(i),\cdots ,\sigma (n\left)\right\}})$. ☐

Adding also the axiom of symmetry, i.e.,

- (SY)
$\mathbf{J}\left(f\right)=\mathbf{J}(f\circ \sigma )$ for all $n\in \mathbb{N}$, $f\in {\mathcal{F}}_{n}$ and $\sigma \in {S}_{n}$,

**Corollary 3.4** A function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$ is

- (i)
an OWA operator if and only if it satisfies the axioms (C1), (C2), (M) and (SY);

- (ii)
an OWMax operator if and only if it satisfies the axioms (S1), (S2), (S3) and (SY).

On the other hand, stronger versions of some of these axioms lead to special subclasses of the discrete integrals discussed above:

**Corollary 3.5** Consider a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then, for each $n\in \mathbb{N}$ there is a probability measure $m\in {\mathcal{M}}_{n}$ such that for all $f\in {\mathcal{F}}_{n}$ we have

**J**satisfies the axioms (C1) and (C2

^{*})

**J**is additive.

Observe that in Corollary 3.5 the monotonicity of **J** follows from the additivity (C2^{*}) and the fact that $\text{Ran}\left(\mathbf{J}\right)\subseteq [0,1]$.

**Corollary 3.6** Suppose that a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$ satisfies the axioms (S1), (S3) and (S2^{*}) **J** is maxitive.

Then, for each $n\in \mathbb{N}$, $\mathbf{J}$ is the weighted maximum on ${\mathcal{F}}_{n}$, i.e., for each $f\in {\mathcal{F}}_{n}$ we have

Observe that, for a given semicopula ⊗, the smallest discrete universal integral **I** satisfying, for each $n\in \mathbb{N}$, each $m\in {\mathcal{M}}_{n}$, each $E\subseteq \{1,\cdots ,n\}$ and each $c\in [0,1]$, the equality $\mathbf{I}(m,c\xb7{\mathbf{1}}_{E})=c\otimes m\left(E\right)$ is denoted by ${\mathbf{I}}_{\otimes}$ (see [8]). The explicit formula of ${\mathbf{I}}_{\otimes}$ is

Then the Sugeno integral corresponds to the greatest semicopula ∧, given by $x\wedge y=min(x,y)$, i.e., ${\mathbf{I}}_{\wedge}=\mathbf{Su}$. Moreover, for the product semicopula Π, given by $\Pi (x,y)=x\xb7y$, we obtain the Shilkret integral [40]. As a consequence, Theorem 3.3 can be strengthened and generalized as follows:

**Theorem 3.7** Let ⊗ be a semicopula and consider a function $\mathbf{J}:\bigcup _{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then, for each $n\in \mathbb{N}$ there is a capacity $m\in {\mathcal{M}}_{n}$ such that for each $f\in {\mathcal{F}}_{n}$ we have $\mathbf{J}\left(f\right)={\mathbf{I}}_{\otimes}(m,f)$ if and only if $\mathbf{J}$ satisfies the axioms (S1), (S2) and

- (S3
_{⊗}) **J**is ⊗-homogeneous on characteristic functions, i.e., for each $n\in \mathbb{N}$, for all $E\subseteq \{1,\cdots ,n\}$ and for all $c\in [0,1]$ we have $\mathbf{J}(c\otimes {\mathbf{1}}_{E})=c\otimes \mathbf{J}\left({\mathbf{1}}_{E}\right)$.

Proof: The necessity is obvious. In order to show the sufficiency, we can proceed in the same way as in the proof of Theorem 3.3, taking into account that for each $n\in \mathbb{N}$ and each $f\in {\mathcal{F}}_{n}$ we have

**Remark 3.8** As a consequence of Theorem 3.7, the axiom (S3) of min-homegeneity in the axiomatic characterization of the Sugeno integral in Theorem 3.3 can be replaced by the weaker axiom (S${3}_{\wedge}$), requiring the min-homogeneity for characteristic functions only.

## 4. Copula-Based $[0,1]$-Valued Discrete Universal Integrals

Copulas were introduced in [24] to model the dependence structure of random vectors (for a detailed treatise see [25]). Here we restrict ourselves to two-dimensional copulas only which also can be considered as special binary aggregation functions or , more precisely, as special semicopulas.

**Definition 4.1** A function $C:{[0,1]}^{2}\to [0,1]$ is called a (2-dimensional) copula if it is a 2-increasing semicopula, i.e., if for all $x,y,{x}^{*},{y}^{*}\in [0,1]$ with $x\le {x}^{*}$ and $y\le {y}^{*}$ we have

Note that copulas are in a one-to-one correspondence with probability measures on the Borel subsets $\mathcal{B}({[0,1]}^{2})$ with uniform marginals, i.e., for each copula $C:{[0,1]}^{2}\to [0,1]$ there is a unique probability measure ${P}_{C}:\mathcal{B}({[0,1]}^{2})\to [0,1]$ satisfying ${P}_{C}(\left[0,a\right]\times \left[0,b\right])=C(a,b)$. Based on ideas in [26], in [27] (see also [8]), for a given copula C the copula-based integral ${\mathbf{I}}_{C}$ was introduced as

In the discrete case we get (again $\sigma \in {S}_{n}$ has the same properties as in Equations (2) and (6))

In [28], we recently gave an axiomatization of copula-based $[0,1]$-valued discrete integrals for a fixed $n\in \mathbb{N}$. We modify the main result here for arbitrary $n\in \mathbb{N}$:

**Theorem 4.2** Consider a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then, for each $n\in \mathbb{N}$ there is a capacity $m\in {\mathcal{M}}_{n}$ and a copula C such that for all $f\in {\mathcal{F}}_{n}$ we have $\mathbf{J}\left(f\right)={\mathbf{I}}_{C}(m,f)$ if and only if $\mathbf{J}$ satisfies the axioms (M) and

- (K1)
$\mathbf{J}(c\xb7{\mathbf{1}}_{X})=c$ for all $n\in \mathbb{N},X=\{1,2,\cdots ,n\}\text{}and\text{}c\in [0,1];$

- (K2)
**J**is comonotone modular, i.e., for each $n\in \mathbb{N}$ and for all $f,g\in {\mathcal{F}}_{n}$ with f ∼ g we have$$\mathbf{J}\left(\text{max}\right(f,g\left)\right)+\mathbf{J}\left(\text{min}\right(f,g\left)\right)=\mathbf{J}\left(f\right)+\mathbf{J}\left(g\right)$$- (K3)
for all $n\in \mathbb{N},E,F\subseteq \{1,2,\cdots ,n\}\text{}and\text{}(u,v)\in {[0,1]}^{2}\text{}we\text{}have$

- (i)
if $\mathbf{J}\left({\mathbf{1}}_{E}\right)=\mathbf{J}\left({\mathbf{1}}_{F}\right)$ then $\mathbf{J}(u\xb7{\mathbf{1}}_{E})=\mathbf{J}(u\xb7{\mathbf{1}}_{F})$;

- (ii)
if $u\le v$ and $\mathbf{J}\left({\mathbf{1}}_{E}\right)\le \mathbf{J}\left({\mathbf{1}}_{F}\right)$ then $\mathbf{J}(u\xb7{\mathbf{1}}_{F})-\mathbf{J}(u\xb7{\mathbf{1}}_{E})\le \mathbf{J}(v\xb7{\mathbf{1}}_{F})-\mathbf{J}(v\xb7{\mathbf{1}}_{E})$.

Proof: The necessity is obvious. In order to show sufficiency, define, for each $n\in \mathbb{N}$, the capacity $m\in {\mathcal{M}}_{n}$ by $m\left(E\right)=\mathbf{J}\left({\mathbf{1}}_{E}\right)$, and the copula C as an extension of the function $D:[0,1]\times Ran\left(m\right)\to [0,1]$ given by $D(u,m\left(E\right))=\mathbf{J}(u\xb7{\mathbf{1}}_{E})$ for each $E\subseteq \{1,2,\cdots ,n\}$. For the rest of the proof see [28]. ☐

In [29] the so-called ordered modular average (OMA operator for short) was introduced and studied: given a system $\Phi =\{{\phi}_{i,n}:[0,1]\to [0,1]\mid n\in \mathbb{N},i\in \{1,2,\cdots ,n\}\}$ of non-decreasing real functions satisfying ${\sum}_{i=1}^{n}{\phi}_{i,n}={id}_{[0,1]}$, then the function

**Corollary 4.3** A function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$ is an OMA operator if and only if it satisfies the axioms (K1), (K2) and (SY).

## 5. Generalizations of Choquet and Sugeno Integrals

During the last years, several new types of integrals were considered which generalize or modify those discussed in the previous sections. For example, Choquet and Sugeno type integrals based on level dependent capacities were studied in [30], [31] and [32]. Recall that, for $X=\{1,2,\cdots ,n\}$, a function $M:{2}^{X}\times [0,1]\to [0,1]$ is called a level dependent capacity on X if, for each $t\in [0,1]$, ${m}_{t}(\xb7)=M(\xb7,t)$ is a capacity on X, i.e., $M={\left({m}_{t}\right)}_{t\in [0,1]}$.

The Sugeno integral with respect to a level dependent capacity $M={\left({m}_{t}\right)}_{t\in [0,1]}$ is then given by

Based on results in [32] and [33, Proposition 2.127], we can derive the following axiomatization of the Sugeno integral based on level dependent capacities:

**Theorem 5.1** Consider a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then, for each $n\in \mathbb{N}$ there is a level dependent capacity $M={\left({m}_{t}\right)}_{t\in [0,1]}$ with ${m}_{t}\in {\mathcal{M}}_{n}$ for all $t\in [0,1]$, such that for all $f\in {\mathcal{F}}_{n}$ we have $\mathbf{J}\left(f\right)=\mathbf{Su}(M,f)$ if and only if $\mathbf{J}$ satisfies the axioms (K1) and (S2).

Note that the smallest level dependent capacity ${M}_{*}:{2}^{\{1,\cdots ,n\}}\times [0,1]\to [0,1]$ that is linked to a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$ such that (as in Theorem 5.1) $\mathbf{J}\left(f\right)=\mathbf{Su}({M}_{*},f)$ for all $n\in \mathbb{N}$ and for all $f\in {\mathcal{F}}_{n}$ is given by

A modification of the Choquet integral based on so-called order inducing variables was proposed in [34]. The induced Choquet integral on $X=\{1,2,\cdots ,n\}$ based on a capacity $m\in {\mathcal{M}}_{n}$ and order inducing variables $({u}_{1},{u}_{2},\cdots ,{u}_{n})\in {[0,1]}^{n}$ is defined by

The axiomatization of the induced Choquet integral was given in [35].

**Theorem 5.2** Fix $n\in \mathbb{N}$ and consider a function $\mathbf{J}:{\bigcup}_{n\in \mathbb{N}}{\mathcal{F}}_{n}\to [0,1]$. Then there is a capacity $m\in {\mathcal{M}}_{n}$ such that for all $f\in {\mathcal{F}}_{n}$ and for all $\mathbf{u}=({u}_{1},{u}_{2},\cdots ,{u}_{n})\in {[0,1]}^{n}$ we have $\mathbf{J}(\mathbf{u},f)=\mathbf{ICh}(m,\mathbf{u},f)$ if and only if $\mathbf{J}$ satisfies the axioms

- (IC1)
$\mathbf{J}(\mathbf{u},{\mathbf{1}}_{\{1,2,\cdots ,n\}})=1$ for each $\mathbf{u}\in {[0,1]}^{n}$;

- (IC2)
$\mathbf{J}(\mathbf{u},\xb7)$ is additive for each $\mathbf{u}\in {[0,1]}^{n}$;

- (IC3)
$\mathbf{J}(\mathbf{u},{\mathbf{1}}_{E})=\mathbf{J}(\mathbf{v},{\mathbf{1}}_{E})\phantom{\rule{1.em}{0ex}}for\text{}all\text{}E\subseteq \{1,2,\cdots ,n\}\text{}and\text{}for\text{}all\text{}\mathbf{u},\mathbf{v}\in {[0,1]}^{n}\text{}satisfying\text{}{u}_{i}{u}_{j}\text{}and\text{}{v}_{i}{v}_{j}\text{}whenever\text{}i\in E\text{}and\text{}j\notin E;$

- (IC4)
$\mathbf{J}(\mathbf{u},\xb7)=\mathbf{AM}\left\{\mathbf{J}\left(\right({\textstyle \frac{\sigma \left(1\right)}{n}},{\textstyle \frac{\sigma \left(2\right)}{n}},\cdots ,{\textstyle \frac{\sigma \left(n\right)}{n}}),\xb7\left)\right|\sigma \in {S}_{n},(\sigma \left(1\right),\sigma \left(2\right),\cdots ,\sigma \left(n\right))\sim \mathbf{u}\right\}.$

Proof: The necessity is obvious. In order to show sufficiency, define the set function $m\in {\mathcal{M}}_{n}$ by $m\left(E\right)=\mathbf{J}(\mathbf{v},{\mathbf{1}}_{E})$, where $\mathbf{v}\in {[0,1]}^{n}$ satisfies ${v}_{i}>{v}_{j}$ whenever $i\in E$ and $j\notin E$. Note that m is well-defined because of (IC3), and that (IC1) and (IC2) imply $m\left(X\right)=1$ and the monotonicity of m. For the rest of the proof see [35]. ☐

## 6. Concluding Remarks

Axiomatization, as observed in [6], of a theory, a model or a construction is a highly condensed piece of information which covers a big number of empirical facts. We have presented axiomatic approaches to different types of integrals, restricting ourselves to finite domains and ranges in the unit interval. Several of the results presented here are well-known from the literature, especially those related to the Choquet and the Sugeno integral. However, we also give new results (e.g., Theorem 3.7) and some recent results (most of them in Section 5) which have been discovered during the past two years.

Obviously, $[0,1]$ can be extended to $\left[0,\infty \right]$ or $\left[-\infty ,\infty \right]$, and/or an abstract measurable space $(X,\mathcal{A})$ can be considered — usually this means that the axioms have to be modified.

As an example, consider the Choquet integral: if $(X,\mathcal{A})$ is a measurable space, if $\mathcal{F}$ denotes the set of all measurable functions $f:X\to [0,1]$, and if $\mathbf{J}:\mathcal{F}\to [0,1]$ is a non-decreasing function, then there exists a capacity $m:\mathcal{A}\to [0,1]$ such that for all $f\in \mathcal{F}$ we have

Applying these axioms to functions $f:X\to \left[-\infty ,\infty \right]$, one obtains the asymmetric Choquet integral [36]

Requiring the comonotone additivity for non-negative functions only, and adding a symmetry property, i.e., $\mathbf{J}(-f)=-\mathbf{J}\left(f\right)$, one obtains the symmetric Choquet integral (or Šipoš integral) [37]

On the other hand, there are integrals based on some generalization of capacities. As an example, we mention the axiomatization of a Choquet type integral based on a signed capacity given in [39].

Finally, let us mention that several types of integrals have been introduced whose axiomatizations were not yet studied. Some of them are related to subsystems of the power set of a given finite universe. This is the case for the original Šipoš integral [37], the integral proposed in [41] or the subdecomposition-based integral studied in [42]. Similarly, hierarchical approaches to integrals, e.g., two-step Choquet integrals [43,44], as well as mixtures of integrals [45,46,47] were not yet axiomatized.

## Acknowledgment

The second author was supported by the following grants: APVV-0073-10 and VEGA 1/0171/12. The authors would like to thank the two anonymous referees whose comments led to improvements of the original manuscript.

## References

- Kepler, J. Nova Stereometria Doliorum Vinariorum; 1615. [Google Scholar]
- Leibniz, G.W. Nova Methodus Pro Maximis et Minimis; 1684. [Google Scholar]
- Newton, I. Philosophiæ Naturalis Principia Mathematica; 1687. [Google Scholar]
- Riemann, B. Über die Darstellbarkeit Einer Function Durch Eine Trigonometrische Reihe. Habilitation Thesis, University of Göttingen, Göttingen, Germany, 1854. [Google Scholar]
- Gillman, L. An axiomatic approach to the integral. Am. Math. Mon.
**1993**, 100, 16–25. [Google Scholar] [CrossRef] - Einstein, A. Ideas and Opinions; Bonanza Books: New York, NY, USA, 1954. [Google Scholar]
- Zadeh, L.A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst.
**1978**, 1, 3–28. [Google Scholar] [CrossRef] - Klement, E.P.; Mesiar, R.; Pap, E. A universal integral as common frame for Choquet and Sugeno integral. IEEE Trans. Fuzzy Syst.
**2010**, 18, 178–187. [Google Scholar] [CrossRef] - Bassan, B.; Spizzichino, F. Relations among univariate aging, bivariate aging and dependence for exchangeable lifetimes. J. Multivar. Anal.
**2005**, 93, 313–339. [Google Scholar] [CrossRef] - Choquet, G. Theory of capacities. Ann. Inst. Fourier (Grenoble)
**1954**, 5, 131–295. [Google Scholar] [CrossRef] - Lovász, L. Submodular Functions and Convexity. In Mathematical Programming: The State of the Art (Bonn, 1982); Springer: Berlin, Germany, 1983; pp. 235–257. [Google Scholar]
- Chateauneuf, A.; Jaffray, J.Y. Some characterizations of lower probabilities and other monotone capacities through the use of Möbius inversion. Math. Soc. Sci.
**1989**, 17, 263–283. [Google Scholar] [CrossRef] - Dempster, A.P. Upper and lower probabilities induced by a multivalued mapping. Ann. Math. Stat.
**1967**, 38, 325–339. [Google Scholar] [CrossRef] - Grabisch, M. Fuzzy integral in multicriteria decision making. Fuzzy Sets Syst.
**1995**, 69, 279–298. [Google Scholar] [CrossRef] - Grabisch, M. Set Functions Over Finite Sets: Transformations and Integrals. In Handbook of Measure Theory; Pap, E., Ed.; Elsevier Science: Amsterdam, The Netherlands, 2002; Chapter 34; pp. 1381–1401. [Google Scholar]
- Schmeidler, D. Integral representation without additivity. Proc. Am. Math. Soc.
**1986**, 97, 255–261. [Google Scholar] [CrossRef] - Schmeidler, D. Subjective probability and expected utility without additivity. Econometrica
**1989**, 57, 571–587. [Google Scholar] [CrossRef] - Marichal, J.L. An axiomatic approach of the discrete Choquet integral as a tool to aggregate interacting criteria. IEEE Trans. Fuzzy Syst.
**2000**, 8, 800–807. [Google Scholar] [CrossRef] - Benvenuti, P.; Mesiar, R.; Vivona, D. Monotone Set Functions-Based Integrals. In Handbook of Measure Theory; Pap, E., Ed.; Elsevier Science: Amsterdam, The Netherlands, 2002; Chapter 33; pp. 1329–1379. [Google Scholar]
- Sugeno, M. Theory of Fuzzy Integrals and Its Applications. Ph.D. Thesis, Tokyo Institute of Technology, Tokyo, Japan, 1974. [Google Scholar]
- Marichal, J.L. An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework. IEEE Trans. Fuzzy Syst.
**2001**, 9, 164–172. [Google Scholar] [CrossRef] - Yager, R.R. On ordered weighted averaging aggregation operators in multicriteria decisionmaking. IEEE Trans. Syst. Man Cybern.
**1988**, 18, 183–190. [Google Scholar] [CrossRef] - Dubois, D.; Prade, H. Fuzzy sets in approximate reasoning—Part 1: Inference with possibility distributions. Fuzzy Sets Syst.
**1991**, 40, 143–202. [Google Scholar] [CrossRef] - Sklar, A. Fonctions de répartition à n dimensions et leurs marges. Publ. Inst. Stat. Univ. Paris
**1959**, 8, 229–231. [Google Scholar] - Nelsen, R.B. An Introduction to Copulas, 2nd ed.; Springer: New York, NY, USA, 2006. [Google Scholar]
- Imaoka, H. On a subjective evaluation model by a generalized fuzzy integral. Int. J. Uncertain. Fuzz. Knowl.-B.
**1997**, 5, 517–529. [Google Scholar] [CrossRef] - Klement, E.P.; Mesiar, R.; Pap, E. Measure-based aggregation operators. Fuzzy Sets Syst.
**2004**, 142, 3–14. [Google Scholar] [CrossRef] - Klement, E.P.; Mesiar, R. On the axiomatization of some classes of discrete universal integrals. Knowl.-Based Syst.
**2012**. in press. [Google Scholar] [CrossRef] - Mesiar, R.; Mesiarová-Zemánková, A. The ordered modular averages. IEEE Trans. Fuzzy Syst.
**2011**, 19, 42–50. [Google Scholar] [CrossRef] - Giove, S.; Greco, S.; Matarazzo, B. Level Dependent Capacities and the Generalized Choquet Integral. In Abstracts of the 28th Linz Seminar on Fuzzy Set Theory: “Fuzzy Sets, Probability, and Statistics—Gaps and Bridges”; Dubois, D., Klement, E.P., Mesiar, R., Eds.; Johannes Kepler University: Linz, Austria, 2007; pp. 54–55. [Google Scholar]
- Greco, S.; Matarazzo, B.; Giove, S. The Choquet integral with respect to a level dependent capacity. Fuzzy Sets Syst.
**2011**, 175, 1–35. [Google Scholar] [CrossRef] - Mesiar, R.; Mesiarová-Zemánková, A.; Ahmad, K. Level-dependent Sugeno integral. IEEE Trans. Fuzzy Syst.
**2009**, 17, 167–172. [Google Scholar] [CrossRef] - Grabisch, M.; Marichal, J.L.; Mesiar, R.; Pap, E. Aggregation Functions; Cambridge University Press: Cambridge, UK, 2009. [Google Scholar]
- Yager, R.R. Choquet aggregation using order inducing variables. Int. J. Uncertain. Fuzz. Knowl.-B.
**2004**, 12, 69–88. [Google Scholar] [CrossRef] - Greco, S.; Mesiar, R. Induced Choquet Integrals. In Proceedings of the IPMU 2012. (to appear).
- Denneberg, D. Non-additive Measure and Integral; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1994. [Google Scholar]
- Šipoš, J. Integral with respect to a pre-measure. Math. Slovaca
**1979**, 29, 141–155. [Google Scholar] - Grabisch, M. The symmetric Sugeno integral. Fuzzy Sets Syst.
**2003**, 139, 473–490. [Google Scholar] - Cardin, M.; Couceiro, M.; Giove, S.; Marichal, J.L. Axiomatizations of signed discrete Choquet integrals. Int. J. Uncertain. Fuzz. Knowl.-B.
**2011**, 19, 193–199. [Google Scholar] - Shilkret, N. Maxitive measure and integration. Indag. Math.
**1971**, 33, 109–116. [Google Scholar] - Faigle, U.; Grabisch, M. A discrete Choquet integral for ordered systems. Fuzzy Sets Syst.
**2011**, 168, 3–17. [Google Scholar] - Eveny, Y.; Lehrer, E. Decomposition-Integral: Unifying Choquet and the Concave Integrals; Tel Aviv University: Tel Aviv, Israel (preprint), 2011. [Google Scholar]
- Sugeno, M.; Fujimoto, K.; Murofushi, K. Hierarchical decomposition of Choquet integral models. Int. J. Uncertain. Fuzz. Knowl.-B.
**1995**, 3, 1–15. [Google Scholar] - Mesiar, R.; Vivona, D. Two-step integral with respect to fuzzy measure. Tatra Mt. Math. Publ.
**1999**, 16, 359–368. [Google Scholar] - Torra, V. Twofold integral: A Choquet integral and Sugeno integral generalization. [in Catalan]. Bull. Assoc. Catal. Intell. Artif.
**2003**, 29, 14–20. [Google Scholar] - Narukawa, Y.; Torra, V. Twofold integral and multi-step Choquet integral. Kybernetika (Prague)
**2004**, 40, 39–50. [Google Scholar] - Narukawa, Y.; Torra, V. Generalized transformed t-conorm integral and multifold integral. Fuzzy Sets Syst.
**2006**, 157, 1384–1392. [Google Scholar]

© 2012 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).