A first result shown by Barthélemy shows that capacities collapse to belief functions when $L$ is linear [@bar00].

Any capacity on $L$ is a belief function if and only if $L$ is a linear lattice.

In the sequel, we address the combination of belief functions and their decomposition in terms of simple support functions. We will see that classical results generalize.

\[def:drc\] Let $\bel_1,\bel_2$ be two belief functions on $L$, with Möbius transforms $m_1,m_2$. The *Dempster’s rule of combination* of $\bel_1,\bel_2$ is defined through its Möbius transform $m$ by: $$m(x)=:(m_1\oplus m_2)(x):=\sum_{y_1\wedge y_2=x}m_1(y_1)m_2(y_2), \quad\forall
x\in L.$$

Since $m$ defines unambiguously the belief function, we may write as well $\bel=\bel_1\oplus\bel_2$ to denote the combination.

\[prop:comb\] Let $\bel_1,\bel_2$ be two belief functions on $L$, with co-Möbius transforms $q_1,q_2$, and consider their Dempster combination. Then, if $q$ denotes the co-Möbius transform of $\bel:= \bel_1\oplus\bel_2$, $$q(x)= q_1(x)q_2(x),\quad \forall x\in L.$$

We have: $$q(x) = \sum_{y\geq x}\sum_{y_1\wedge y_2=y}m_1(y_1)m_2(y_2) = \sum_{y_1\wedge
  y_2\geq x} m_1(y_1)m_2(y_2).$$ One can decompose the above sum since if $y_1\geq x$ and $y_2\geq x$, then $y_1\wedge y_2\geq x$ and reciprocally. Thus, $$q(x) = \sum_{y_1\geq x}m(y_1)\sum_{y_2\geq
A first result shown by Barthélemy shows that capacity crack up to belief functions when $ L$ is linear [ @bar00 ]. 

 Any capacitance on $ L$ is a belief function if and entirely if $ L$ is a analogue lattice. 

 In the sequel, we address the combination of belief functions and their decomposition in term of simple support functions. We will see that classical results popularize. 

 \[def: drc\ ] Let $ \bel_1,\bel_2 $ be two belief functions on $ L$, with Möbius transform $ m_1,m_2$. The * Dempster ’s rule of combination * of $ \bel_1,\bel_2 $ is defined through its Möbius transform $ m$ by: $ $ m(x)=:(m_1\oplus m_2)(x):=\sum_{y_1\wedge y_2 = x}m_1(y_1)m_2(y_2), \quad\forall 
 x\in L.$$ 

 Since $ m$ defines uniquely the belief routine, we may write equally well $ \bel=\bel_1\oplus\bel_2 $ to denote the combination. 

 \[prop: comb\ ] Let $ \bel_1,\bel_2 $ be two belief functions on $ L$, with cobalt - Möbius transforms $ q_1,q_2 $, and consider their Dempster combination. Then, if $ q$ denotes the co - Möbius transform of $ \bel:= \bel_1\oplus\bel_2 $, $ $ q(x)= q_1(x)q_2(x),\quad \forall x\in L.$$ 

 We have: $ $ q(x) = \sum_{y\geq x}\sum_{y_1\wedge y_2 = y}m_1(y_1)m_2(y_2) = \sum_{y_1\wedge 
   y_2\geq x } m_1(y_1)m_2(y_2).$$ One can decompose the above kernel since if $ y_1\geq x$ and $ y_2\geq x$, then $ y_1\wedge y_2\geq x$ and reciprocally. Thus, $ $ q(x) = \sum_{y_1\geq x}m(y_1)\sum_{y_2\geq
A flrst result shown by Baruhélemy shows that capacivies comlapse tu belief functions when $L$ is lunear [@bar00].

Any capacity on $L$ ks a belivf functiin ih and only if $L$ ma a linccr lafbice.

Iu vhe sequel, we acdress the combination ox cepief functions and their decomposityon in yegms of simple fupppwt fhnctions. We will see that classicam resulus generalize.

\[def:drv\] Let $\bel_1,\bel_2$ be two belief funftions on $L$, with Möhius transfirms $n_1,m_2$. The *Dempsger’s rule of combinatikn* of $\bel_1,\bel_2$ is defined through its Köbius tranwfirm $k$ by: $$m(x)=:(m_1\oplns m_2)(x):=\slm_{y_1\wedge y_2=x}m_1(y_1)m_2(y_2), \quad\fmrall
x\im L.$$

Since $m$ deflnes nnamviguously the belief hunction, we may writg as well $\tem=\bel_1\oplus\bel_2$ to dwnite tve cmmbivqtiun.

\[pdo':cojb\] Let $\bem_1,\bel_2$ be twk belief fubctions on $L$, with cp-Möfpis transforma $q_1,q_2$, agd consider their Dempster combination. Thtn, if $q$ denotes the co-Möbius rransform of $\bel:= \bel_1\oklus\bel_2$, $$q(x)= q_1(x)q_2(x),\quad \forall x\in L.$$

We have: $$q(x) = \sum_{y\geq x}\sum_{y_1\wegge y_2=b}m_1(h_1)m_2(y_2) = \fjn_{y_1\aedge
  y_2\geq x} m_1(y_1)m_2(y_2).$$ One can decompose the abovq sim since if $y_1\geq x$ and $y_2\geq x$, tngn $y_1\wedge y_2\geq x$ and rediprocally. Thus, $$q(x) = \sum_{y_1\ggq x}m(y_1)\wum_{y_2\geq
A first result shown by Barthélemy shows collapse belief functions $L$ is linear is belief function if only if $L$ a linear lattice. In the sequel, address the combination of belief functions and their decomposition in terms of simple functions. We will see that classical results generalize. \[def:drc\] Let $\bel_1,\bel_2$ be two functions $L$, Möbius $m_1,m_2$. The *Dempster’s rule of combination* of $\bel_1,\bel_2$ is defined through its Möbius transform $m$ by: m_2)(x):=\sum_{y_1\wedge y_2=x}m_1(y_1)m_2(y_2), \quad\forall x\in L.$$ Since $m$ defines the belief function, we write as well $\bel=\bel_1\oplus\bel_2$ to the \[prop:comb\] Let be belief on $L$, with transforms $q_1,q_2$, and consider their Dempster combination. Then, if $q$ denotes the co-Möbius transform of $\bel:= \bel_1\oplus\bel_2$, q_1(x)q_2(x),\quad \forall We have: = x}\sum_{y_1\wedge = \sum_{y_1\wedge y_2\geq One can decompose the above sum x$ and $y_2\geq x$, then $y_1\wedge y_2\geq x$ reciprocally. Thus, = \sum_{y_1\geq x}m(y_1)\sum_{y_2\geq
A first result shown by BarthéLemy shows tHat caPacItiEs CollApse To belief functiONs whEn $L$ is linear [@bar00].

Any capacIty on $l$ iS A belIEf FunctIon if anD OnLY If $L$ Is A lIneAr LAtTice.

IN thE sequel, We address tHe cOmBination of beLIeF functions And Their decompoSitIon in tErMs oF SimplE suPport FunctiONs. We wiLl see that ClASsical REsults gENErAlizE.

\[def:drc\] Let $\bel_1,\bel_2$ bE TwO Belief functionS on $L$, wiTh mÖbIUS trAnsForms $m_1,m_2$. The *deMpsteR’S rule of COmBINAtiON* of $\bel_1,\bel_2$ is deFined througH Its möbius TrAnsFOrm $m$ by: $$M(x)=:(m_1\opLuS M_2)(x):=\sUm_{y_1\wedge y_2=x}m_1(Y_1)m_2(y_2), \qUad\forall
X\in L.$$

SiNCe $m$ defiNEs unambIguousLy tHe bElieF FuNcTioN, wE May WRiTe aS WelL $\bel=\bel_1\oPlUs\Bel_2$ to DenoTE THE comBinAtioN.

\[prop:Comb\] Let $\bel_1,\bel_2$ Be tWo beLIef FunctIons oN $L$, wiTh Co-MöbIus traNsforMs $Q_1,q_2$, and consider thEir DEmpster coMbiNaTioN. THen, if $Q$ DenoteS thE co-möbius tRansforM Of $\bEl:= \BEL_1\OpLus\bel_2$, $$q(x)= q_1(x)q_2(x),\quad \foRaLL X\iN L.$$

We have: $$Q(x) = \sum_{y\GEq X}\sUM_{y_1\wedge y_2=Y}m_1(Y_1)m_2(y_2) = \Sum_{y_1\WEDge
  y_2\gEq x} m_1(Y_1)M_2(y_2).$$ one can deComposE ThE aBove sum SiNce if $y_1\GeQ x$ aNd $y_2\Geq x$, tHEn $y_1\wEdge y_2\gEq x$ and reCiproCAlly. Thus, $$q(x) = \sum_{y_1\GEq x}m(y_1)\sum_{y_2\geq
A first result shown by Ba rthélemy s howstha t c ap acit iescollapse to be l ieffunctions when $L$ islinea r[ @bar 0 0] .

An y capac i ty o n $ L$  i s a  b e li ef fu nct ion ifand only i f $ L$  is a linear la ttice.

In  th e sequel, we  ad dressth e c o mbina tio n ofbelief functi ons and t he i r deco m positio n in  ter ms of simple supp o rt functions. Wewill s ee th a t  cl ass ical resul ts  gene r alize.\[ d e f :dr c \] Let $\bel_ 1,\bel_2$ b e  tw o beli ef  fu n ctions  on $ L$ ,  wi th Möbius t rans forms $m_ 1,m_2$ .  The *D e mpster’ s rule  of  co mbin a ti on * o f$ \be l _1 ,\b e l_2 $ is def in ed  thro ughi t s Möbi ustran sform  $m$ by: $$m( x)= :(m_ 1 \op lus m _2)(x ):=\ su m_{y_ 1\wedg e y_2 =x }m_1(y_1)m_2(y_ 2),\quad\for all 
x \in  L .$$
S ince $ m$def ines un ambiguo u sly  t h e be lief function, wema y wr ite as w ell $\ b el =\ b el_1\opl us \be l_2$ t o den otet he  combina tion.\[ pr op:comb \]  Let $ \b el_ 1,\ bel_2 $  betwo be lief fun ction s  on $L$, withc o-Möbius tran s fo r m s$ q_1, q_2 $, and cons ider thei r De m ps ter combi natio n. Th e n, if $q$ denotes t he  co-Mö biustransform of$\bel:= \b e l _ 1\oplus\ bel_ 2 $, $$q(x)= q_1(x) q_2(x ),\quad \f o rall x\i n L.$ $

We ha ve: $$q(x ) = \sum_{ y\g eqx}\ sum _ { y_ 1\wedge y_2=y } m _1(y _1 )m_2(y_ 2)= \sum_ {y_ 1\w edg e
 y _2\geq x}  m_1(y_1 )m _2 (y _2 ).$ $ One can deco mp ose  t heabove sum si nce i f $y _1 \g e q x $ and $ y _2 \ g eq x $,  t hen$y_ 1\ wedge  y_2 \ geq  x$ and  reciproc all y . Th us ,$$q(x)= \sum_{y_1\g eq  x}m(y_1)\ su m_{ y_2\ge q 
A first_result shown_by Barthélemy shows that_capacities collapse_to_belief functions_when_$L$ is linear_[@bar00].

Any capacity on_$L$ is a belief_function if and_only_if $L$ is a linear lattice.

In the sequel, we address the combination of belief_functions_and their_decomposition_in_terms of simple support functions._We will see that classical_results generalize.

\[def:drc\]_Let $\bel_1,\bel_2$ be two belief functions on $L$,_with_Möbius transforms $m_1,m_2$._The *Dempster’s rule of combination* of $\bel_1,\bel_2$ is defined_through its Möbius transform $m$ by:_$$m(x)=:(m_1\oplus m_2)(x):=\sum_{y_1\wedge y_2=x}m_1(y_1)m_2(y_2),_\quad\forall
x\in_L.$$

Since_$m$ defines unambiguously the_belief function, we may write as_well $\bel=\bel_1\oplus\bel_2$ to denote the combination.

\[prop:comb\]_Let $\bel_1,\bel_2$ be two belief functions on_$L$, with co-Möbius transforms $q_1,q_2$, and_consider their Dempster combination. Then,_if $q$_denotes the co-Möbius transform of_$\bel:= \bel_1\oplus\bel_2$, $$q(x)=_q_1(x)q_2(x),\quad \forall_x\in L.$$

We have:_$$q(x) = \sum_{y\geq x}\sum_{y_1\wedge y_2=y}m_1(y_1)m_2(y_2) =_\sum_{y_1\wedge
  y_2\geq_x} m_1(y_1)m_2(y_2).$$ One can decompose the_above_sum since if_$y_1\geq_x$_and $y_2\geq_x$, then $y_1\wedge_y_2\geq_x$ and_reciprocally._Thus, $$q(x) = \sum_{y_1\geq x}m(y_1)\sum_{y_2\geq