 that the above proof is much shorter and general than the original one by Shafer [@sha76].

As in the classical case, these coefficients may be strictly greater than 1, hence corresponding simple support functions have negative Möbius transform and are no more belief functions.

Necessity functions {#sec:nece}
===================

A function $\N:L\rightarrow[0,1]$ is called a *necessity function* if it satisfies $\N(x\wedge y)=\min(\N(x),\N(y))$, for all $x,y\in L$, and $\N(\bot)=0$, $\N(\top)=1$.

The following result is due to Barthélemy [@bar00].

$\N$ is a necessity function if and only if it is belief function whose Möbius transform $m$ is such that its focal elements form a chain in $L$.

We define possibility functions as $\vee$-conjugates of necessity functions.

Let $L$ be an autodual lattice, and $n$ a $\vee$-negation on $L$. For any necessity function $\N$ on $L$, its $\vee$-conjugate is called a *possibility function*.

Let $\Pi$ be a possibility function. Then ${}^\wedge\overline{\Pi}$ is its corresponding necessity function by Lemma \[lem:neg\] (ii).

Let $L$ be an autodual lattice, and $n$ a $\vee$-negation on $L$. The mapping $\Pi:L\rightarrow [0,1]$ is a possibility function if and only if $$\label{eq:pi}
\Pi(x\vee y) = \max(\Pi(x),\Pi(y)), \quad \forall x,y\in L.$$

Let $\Pi$ be a possibility function being the $\vee$-conjugate of some necessity function $N$. Then: $$\begin{aligned}
\Pi(x\vee y) & = 1-\N(n(x\vee y)) = 1- \N(n(x)\wedge n(y))\\
             & = 1- \min(\N(n(x)),\N(n(y))) =
             \max(1-\N(n(x)),1-\N(n(y)))\\ 
             & = \max(\Pi(x),\Pi(
that the above proof is much shorter and general than the original one by Shafer [ @sha76 ]. 

 As in the authoritative subject, these coefficients may be strictly great than 1, therefore corresponding simple support function have negative Möbius transform and are no more impression function. 

 Necessity functions { # sec: nece } 
 = = = = = = = = = = = = = = = = = = = 

 A routine $ \N: L\rightarrow[0,1]$ is called a * necessity function * if it satisfy $ \N(x\wedge y)=\min(\N(x),\N(y))$, for all $ x, y\in L$, and $ \N(\bot)=0 $, $ \N(\top)=1$. 

 The follow result is due to Barthélemy [ @bar00 ]. 

 $ \N$ is a necessity function if and only if it is belief affair whose Möbius transform $ m$ is such that its focal elements form a chain in $ L$. 

 We specify possibility functions as $ \vee$-conjugates of necessity functions. 

 Let $ L$ be an autodual wicket, and $ n$ a $ \vee$-negation on $ L$. For any necessity function $ \N$ on $ L$, its $ \vee$-conjugate is shout a * possibility function *. 

 Let $ \Pi$ be a hypothesis function. Then $ { } ^\wedge\overline{\Pi}$ is its corresponding necessity function by Lemma \[lem: neg\ ] (ii). 

 Let $ L$ be an autodual lattice, and $ n$ a $ \vee$-negation on $ L$. The mapping $ \Pi: L\rightarrow [ 0,1]$ is a hypothesis affair if and only if $ $ \label{eq: pi } 
 \Pi(x\vee y) = \max(\Pi(x),\Pi(y) ), \quad \forall x, y\in L.$$ 

 Let $ \Pi$ be a possibility function being the $ \vee$-conjugate of some necessity function $ N$. Then: $ $ \begin{aligned } 
 \Pi(x\vee y) & = 1-\N(n(x\vee y) ) = 1- \N(n(x)\wedge n(y))\\ 
              & = 1- \min(\N(n(x)),\N(n(y) )) = 
              \max(1-\N(n(x)),1-\N(n(y)))\\ 
              & = \max(\Pi(x),\Pi (
 thwt the above proof is mugh shorter and ggnwral tian the originau one by Shafer [@sha76].

As in the coassixal case, these coeffickents may be strixtly treater theh 1, hencc cordcsponbiig simple suppott functions have negative Möcibs transform and are no more belief sunctioms.

Jecessity funcjions {#fec:nsbe}
===================

C function $\N:L\rightarrow[0,1]$ is callsd a *nebessity function* of it satisfies $\N(x\wedge y)=\mln(\N(x),\J(y))$, for all $x,y\in L$, wnd $\N(\bot)=0$, $\N(\tip)=1$.

Thq following rdsult is dlz to Barthélgmy [@bar00].

$\N$ is a necessity function if aud only if ut is telief funcvion wrose Möbius tvsnsfork $m$ is xuch that its nocal elwments form a chain ii $L$.

We define possibijity funcdikns as $\vee$-conjugarew of tecevsith fuvctjois.

Lst $L$ bf ai autodual mattice, and $n$ a $\vee$-negation on $L$. Dor any necesaity ftnstion $\N$ on $L$, its $\vee$-conjugate is called a *lossibility function*.

Let $\Pi$ be a possibility vunction. Ehen ${}^\wedge\overline{\Pi}$ is its corresponding necessidy fuicgiou by Ldnmw \[lem:neg\] (ii).

Let $L$ be an autodual lattice, and $n$ z $\fev$-negation on $L$. Thc mapping $\Pi:L\rightsrgoe [0,1]$ is a possibklity yhndtion if and only lf $$\labej{eq:pi}
\Pi(x\vee y) = \max(\Li(x),\Pi(y)), \quad \forall x,y\in L.$$

Ler $\Pi$ be a pofwibility function yeing the $\vez$-conjubate pf some necessity functnon $N$. Fhen: $$\begin{apigned}
\Pi(x\bde y) & = 1-\N(n(x\vee y)) = 1- \N(k(x)\wadge n(y))\\
             & = 1- \min(\G(n(x)),\N(n(y))) =
             \oax(1-\N(m(x)),1-\N(n(y)))\\ 
             & = \max(\Pi(x),\Pi(
that the above proof is much shorter than original one Shafer [@sha76]. As coefficients be strictly greater 1, hence corresponding support functions have negative Möbius transform are no more belief functions. Necessity functions {#sec:nece} =================== A function $\N:L\rightarrow[0,1]$ is a *necessity function* if it satisfies $\N(x\wedge y)=\min(\N(x),\N(y))$, for all $x,y\in L$, and $\N(\top)=1$. following is to Barthélemy [@bar00]. $\N$ is a necessity function if and only if it is belief function Möbius transform $m$ is such that its focal form a chain in We define possibility functions as of functions. Let be autodual and $n$ a on $L$. For any necessity function $\N$ on $L$, its $\vee$-conjugate is called a *possibility function*. Let be a Then ${}^\wedge\overline{\Pi}$ its necessity by Lemma \[lem:neg\] $L$ be an autodual lattice, and on $L$. The mapping $\Pi:L\rightarrow [0,1]$ is a function if only if $$\label{eq:pi} \Pi(x\vee y) = \quad \forall x,y\in L.$$ Let $\Pi$ be a function being the $\vee$-conjugate of some necessity function $N$. Then: $$\begin{aligned} \Pi(x\vee y) & = = 1- \N(n(x)\wedge n(y))\\ = 1- \min(\N(n(x)),\N(n(y))) \max(1-\N(n(x)),1-\N(n(y)))\\ =
 that the above proof is much shOrter and geNeral ThaN thE oRigiNal oNe by Shafer [@sha76].

AS In thE classical case, these coeFficiEnTS may BE sTrictLy greatER tHAN 1, heNcE cOrrEsPOnDing sImpLe suppoRt functionS haVe Negative MöbiUS tRansform anD arE no more belieF fuNctionS.

NEceSSity fUncTions {#Sec:necE}
===================

a functIon $\N:L\righTaRRow[0,1]$ is cALled a *neCESsIty fUnction* if it satisfIEs $\n(X\wedge y)=\min(\N(x),\N(y))$, For all $X,y\IN L$, AND $\N(\bOt)=0$, $\N(\Top)=1$.

The follOwIng reSUlt is duE To bARThéLEmy [@bar00].

$\N$ is a necEssity functIOn iF and onLy If iT Is beliEf funCtIOn wHose Möbius tRansForm $m$ is suCh that ITs focal ELements Form a cHaiN in $l$.

We dEFiNe PosSiBIliTY fUncTIonS as $\vee$-coNjUgAtes oF necESSITy fuNctIons.

let $L$ bE an autodual laTtiCe, anD $N$ a $\vEe$-negAtion On $L$. FOr Any neCessitY funcTiOn $\N$ on $L$, its $\vee$-conJugaTe is calleD a *pOsSibIlIty fuNCtion*.

LEt $\PI$ be A possibIlity fuNCtiOn. tHEN ${}^\wEdge\overline{\Pi}$ is itS cORReSponding NecessITy FuNCtion by LEmMa \[lEm:neG\] (II).

Let $L$ Be an AUtOdual latTice, anD $N$ a $\VeE$-negatiOn On $L$. The MaPpiNg $\PI:L\rigHTarrOw [0,1]$ is a pOssibiliTy funCTion if and only iF $$\Label{eq:pi}
\Pi(x\vEE y) = \MAX(\PI(X),\Pi(y)), \QuaD \forall x,y\in l.$$

Let $\pI$ be a PossIBiLitY FunctIon beInG ThE $\Vee$-conjugate of some nEcEssity FunctIon $N$. Then: $$\begin{Aligned}
\Pi(x\VEE Y) & = 1-\N(n(x\vee y)) = 1- \n(n(x)\wEDgE N(y))\\
             & = 1- \min(\N(n(x)),\N(n(y))) =
             \max(1-\n(n(x)),1-\N(n(Y)))\\ 
             & = \max(\Pi(x),\Pi(
 that the above proof is m uch shorte r and  ge ner al  tha n th e original one by S hafer [@sha76].

As in  thecl a ssic a lcase,  thesec oe f f ici en ts  ma yb estric tly  greate r than 1,hen ce  correspondi n gsimple sup por t functionshav e nega ti veM öbius  tr ansfo rm and are no  more bel ie f  funct i ons.

N e c es sity  functions {#sec: n ec e }
============ ====== =Af u nct ion  $\N:L\rig ht arrow [ 0,1]$ i s  c a l l eda  *necessity f unction* if itsatisf ie s $ \ N(x\we dge y )= \ min (\N(x),\N(y ))$,  for all$x,y\i n  L$, an d  $\N(\b ot)=0$ , $ \N( \top ) =1 $. 

T he fol l ow ing res ult is d ue  t o Bar thél e m y [@ba r00 ].
$\N$is a necessit y f unct i onif an d onl y if  i t isbelief  func ti on whose Möbius  tra nsform $m $ i ssuc hthati ts foc alele ments f orm a c h ain  i n $ L$ .

We define possi bi l i ty  functio ns as$ \v ee $ -conjuga te s o f ne c e ssity  fun c ti ons.

Le t $L$b ean  autodu al  latti ce , a nd$n$ a $\ve e$-neg ation on  $L$. For any necess i ty function $ \ N$ o n$ L$,its  $\vee$-con juga t e is  cal l ed  a* possi bilit yf un c tion*.

Let $\Pi$ b ea poss ibili ty function.Then ${}^\ w e d ge\overl ine{ \ Pi } $ is its corre spond ing necess i ty funct ion b y Lemma\[lem:neg \ ]  (ii).
Let  $L $ b e a n au todual lattic e ,  and  $ n$ a $\ vee $-negat ion  on  $L $.Th e mapping  $\Pi:L\ ri gh ta rr ow[0,1] $  is a po ss ibi li tyfunct i on ifand o nlyif  $ $ \la bel{eq: p i} \ Pi(x \v ee  y)= \ ma x(\Pi (x), \ Pi( y)), \q uad \fora llx ,y\i nL. $$

Let  $\Pi$ be a p os sibility f un cti on bei n g  the $\v ee$-conjugate of some n e cessity  fu nctio n $N $. Then:$$\ begin{ ali g ned}
\ Pi(x\v ee y)  &  =1 - \N(n( x \ ve e y ))  = 1- \N(n ( x )\w edgen( y))\ \
            & = 1- \mi n (\N (n(x)),\N(n(y )))  =
     \m ax ( 1-\ N ( n(x)),1-\N(n(y) ))\\ 
         & = \m a x(\ Pi (x),\Pi (
 that_the above_proof is much shorter_and general_than_the original_one_by Shafer [@sha76].

As_in the classical_case, these coefficients may_be strictly greater_than_1, hence corresponding simple support functions have negative Möbius transform and are no more_belief_functions.

Necessity functions_{#sec:nece}
===================

A_function_$\N:L\rightarrow[0,1]$ is called a *necessity_function* if it satisfies $\N(x\wedge_y)=\min(\N(x),\N(y))$, for_all $x,y\in L$, and $\N(\bot)=0$, $\N(\top)=1$.

The following result_is_due to Barthélemy_[@bar00].

$\N$ is a necessity function if and only if_it is belief function whose Möbius_transform $m$ is_such_that_its focal elements form_a chain in $L$.

We define possibility_functions as $\vee$-conjugates of necessity functions.

Let_$L$ be an autodual lattice, and $n$_a $\vee$-negation on $L$. For any_necessity function $\N$ on $L$,_its $\vee$-conjugate_is called a *possibility function*.

Let_$\Pi$ be a_possibility function._Then ${}^\wedge\overline{\Pi}$ is_its corresponding necessity function by Lemma_\[lem:neg\] (ii).

Let $L$_be an autodual lattice, and $n$_a_$\vee$-negation on $L$._The_mapping_$\Pi:L\rightarrow [0,1]$_is a possibility_function_if and_only_if $$\label{eq:pi}
\Pi(x\vee y) = \max(\Pi(x),\Pi(y)), \quad_\forall_x,y\in L.$$

Let $\Pi$ be a possibility function_being the $\vee$-conjugate of_some_necessity function $N$. Then:_$$\begin{aligned}
\Pi(x\vee y) & = 1-\N(n(x\vee_y)) = 1- \N(n(x)\wedge n(y))\\
 _ _ _       & = 1- \min(\N(n(x)),\N(n(y)))_=
     _   _ __\max(1-\N(n(x)),1-\N(n(y)))\\ 
 __ _      _ &_= \max(\Pi(x),\Pi(