 $a\leq b$; conversely, if $a\leq b$, then both $a/b$ and $b\backslash a$ exist and $b=a\oplus(a/b)=(b\backslash a)\oplus a$. Also, if $b\ominus a$ exists, then $a,b\ominus a\leq b$, $a\perp(b\ominus a)$ and $a\oplus(b\ominus a)=(b\ominus a)\oplus a
=b$. We note that a commutative GPEA is the same thing as a *generalized effect algebra* [@Zdenka99].

The GPEA $E$ is partially ordered by $\leq$ and $0$ is the smallest element in $E$. The cancellation laws in (GPA3) are easily extended to $\leq$ as follows: $$\mbox{If }a\oplus b\leq a\oplus c,\mbox{or if }b\oplus a\leq c\oplus a,
 \mbox{ then }b\leq c.$$ An existing supremum (resp. infimum) in the partially ordered set (poset) $E$ of elements $a$ and $b$ is denoted by $a\vee b$ (resp. by $a\wedge b$). We say that $a$ and $b$ are *disjoint* iff $a\wedge b=0$. We note that a GPEA-morphism preserves inequalities and corresponding left and right differences.

An important example of a GPEA ([@DvVepo], Example 2.3) is a subset of the positive cone in a partially ordered group (po-group). Let $(G,+,0,
\leq)$ be a po-group with $G^+:=\{g\in G: 0\leq g\}$. Let $G^0$ be a nonempty subset of $G^+$ such that for all $a,b\in G^0$, if $b\leq a$ then $-a+b,\ b-a\in G^0$. Then $(G^0,\oplus,0)$, where $\oplus$ is the group addition restricted to those pairs of elements whose sum is again in $G^0$, is a GPEA whose partial order coincides with the group partial order restricted to $G^0$.

\[le:SlashProps\] Let $a,b,
$ a\leq b$; conversely, if $ a\leq b$, then both $ a / b$ and $ b\backslash a$ exist and $ b = a\oplus(a / b)=(b\backslash a)\oplus a$. Also, if $ b\ominus a$ exists, then $ deoxyadenosine monophosphate, b\ominus a\leq b$, $ a\perp(b\ominus a)$ and $ a\oplus(b\ominus a)=(b\ominus a)\oplus a 
 = b$. We notice that a commutative GPEA is the same thing as a * generalized consequence algebra * [ @Zdenka99 ]. 

 The GPEA $ E$ is partially order by $ \leq$ and $ 0 $ is the smallest element in $ E$. The cancellation law in (GPA3) are well extended to $ \leq$ as follows: $ $ \mbox{If } a\oplus b\leq a\oplus c,\mbox{or if } b\oplus a\leq c\oplus a, 
  \mbox { then } b\leq c.$$ An existing supremum (resp. infimum) in the partially ordered set (poset) $ E$ of element $ a$ and $ b$ is denoted by $ a\vee b$ (resp. by $ a\wedge b$). We say that $ a$ and $ b$ are * disjoint * iff $ a\wedge b=0$. We notice that a GPEA - morphism preserves inequalities and corresponding left and right differences. 

 An important model of a GPEA ([ @DvVepo ], Example 2.3) is a subset of the positive cone in a partially ordered group (po - group). lease $ (G,+,0, 
 \leq)$ be a po - group with $ G^+:=\{g\in G: 0\leq g\}$. Let $ G^0 $ be a nonempty subset of $ G^+$ such that for all $ a, b\in G^0 $, if $ b\leq a$ then $ -a+b,\ b - a\in G^0$. Then $ (G^0,\oplus,0)$, where $ \oplus$ is the group addition restrict to those pairs of elements whose sum is again in $ G^0 $, is a GPEA whose partial order coincide with the group partial order restricted to $ G^0$. 

 \[le: SlashProps\ ] Let $ a, b,
 $a\lfq b$; conversely, if $a\leq n$, then both $a/b$ aue $b\bacnslash a$ exist and $b=a\oplus(a/b)=(b\backslash a)\oppuw a$. Aoso, if $b\ominus a$ existr, then $a,b\lminus a\oeq u$, $a\perp(b\ominus a)$ and $a\oplus(b\omjkus a)=(y\oninus a)\oplus a
=n$. We note tvat a commutathvd YPEA is the same thing as a *generalised effrch algebra* [@Zdenha99].

Tht G[EA $S$ is partially ordered by $\leq$ and $0$ is the smallest elekent in $E$. The cancellation lawd in (GPA3) are easilj extended jk $\lqw$ as follows: $$\mbox{If }a\oklbs b\leq a\opmus c,\mbox{or if }b\oplus a\leq c\opljs a,
 \kbox{ then }v\lwq f.$$ An existinj suprvmum (resp. inflkum) in the pattially orderec sxt (piset) $E$ of elements $a$ end $b$ is denoted by $w\vee b$ (revp. by $a\wedge b$). We sqy that $a$ atd $b$ qre *diajpiht* iff $a\wxdge b=0$. We nkte that a TPEA-morphism preserfef inequalities and cjrwesponding left and right differences.

An imlortant example of a GPWA ([@DvVepo], Example 2.3) is a subset of the positive cone in a partially ordered grou[ (po-gcojp). Oeb $(G,+,0,
\ldw)$ he a po-group with $G^+:=\{g\in G: 0\leq g\}$. Let $G^0$ be a nonqjpuy xubset of $G^+$ sugh that for all $a,b\on G^0$, yf $b\leq a$ thev $-a+b,\ b-c\jn G^0$. Then $(G^0,\oplus,0)$, whege $\opluf$ is rhe group addotion restricted to those pqirs of elemvnts whose sum is agaiu in $G^0$, is a YPEA wnose lartial order coincides witg the group partial kfder restricted go $N^0$.

\[le:VlashProkr\] Let $a,b,
$a\leq b$; conversely, if $a\leq b$, then and a$ exist $b=a\oplus(a/b)=(b\backslash a)\oplus a$. then a\leq b$, $a\perp(b\ominus and $a\oplus(b\ominus a)=(b\ominus a =b$. We note that a GPEA is the same thing as a *generalized effect algebra* [@Zdenka99]. The GPEA is partially ordered by $\leq$ and $0$ is the smallest element in $E$. cancellation in are extended to $\leq$ as follows: $$\mbox{If }a\oplus b\leq a\oplus c,\mbox{or if }b\oplus a\leq c\oplus a, \mbox{ }b\leq c.$$ An existing supremum (resp. infimum) in partially ordered set (poset) of elements $a$ and $b$ denoted $a\vee b$ by b$). say that $a$ $b$ are *disjoint* iff $a\wedge b=0$. We note that a GPEA-morphism preserves inequalities and corresponding left and differences. An of a ([@DvVepo], 2.3) a subset of cone in a partially ordered group \leq)$ be a po-group with $G^+:=\{g\in G: 0\leq Let $G^0$ a nonempty subset of $G^+$ such for all $a,b\in G^0$, if $b\leq a$ then b-a\in G^0$. Then $(G^0,\oplus,0)$, where $\oplus$ is the group addition restricted to those pairs of sum is again in is a GPEA partial coincides the partial order to $G^0$. \[le:SlashProps\] Let $a,b,
 $a\leq b$; conversely, if $a\leq b$, theN both $a/b$ and $B\backSlaSh a$ ExIst aNd $b=a\Oplus(a/b)=(b\backslASh a)\oPlus a$. Also, if $b\ominus a$ exiSts, thEn $A,B\omiNUs A\leq b$, $A\perp(b\oMInUS A)$ anD $a\OpLus(B\oMInUs a)=(b\oMinUs a)\opluS a
=b$. We note tHat A cOmmutative GPea iS the same thIng As a *generalizEd eFfect aLgEbrA* [@zdenkA99].

ThE GPEA $e$ is parTIally oRdered by $\lEq$ ANd $0$ is thE SmallesT ELeMent In $E$. The cancellatioN LaWS in (GPA3) are easilY extenDeD To $\LEQ$ as FolLows: $$\mbox{If }A\oPlus b\LEq a\opluS C,\mBOX{Or iF }B\oplus a\leq c\opLus a,
 \mbox{ theN }B\leQ c.$$ An exIsTinG SupremUm (resP. iNFimUm) in the partIallY ordered sEt (poseT) $e$ of elemENts $a$ and $B$ is denOteD by $A\vee B$ (ReSp. By $a\WeDGe b$). wE sAy tHAt $a$ And $b$ are *dIsJoInt* ifF $a\weDGE B=0$. we noTe tHat a gPEA-mOrphism preserVes IneqUAliTies aNd corRespOnDing lEft and Right DiFferences.

An impoRtanT example oF a GpEa ([@DvvePo], ExaMPle 2.3) is a SubSet Of the poSitive cONe iN a PARTiAlly ordered group (po-GrOUP). LEt $(G,+,0,
\leq)$ be A po-groUP wItH $g^+:=\{g\in G: 0\leq G\}$. LEt $G^0$ Be a nONEmpty SubsET oF $G^+$ such thAt for aLL $a,B\iN G^0$, if $b\leQ a$ Then $-a+b,\ B-a\In G^0$. theN $(G^0,\oplUS,0)$, wheRe $\opluS$ is the grOup adDItion restricteD To those pairs oF ElEMEnTS whoSe sUm is again in $g^0$, is a gpEA wHose PArTiaL Order CoincIdES wITh the group partial orDeR restrIcted To $G^0$.

\[le:SlashProPs\] Let $a,b,
 $a\leq b$; conversely, if  $a\leq b$ , the n b oth  $ a/b$  and  $b\backslasha $ ex ist and $b=a\oplus(a/b )=(b\ ba c ksla s ha)\op lus a$. Al s o , i f$b \om in u sa$ ex ist s, then  $a,b\omin usa\ leq b$, $a\p e rp (b\ominusa)$  and $a\oplu s(b \ominu sa)= ( b\omi nus  a)\o plus a =b$. W e note th at a comm u tativeG P EA  isthe same thing as a* generalized ef fect a lg e br a *  [@ Zde nka99].

T he  GPEA $E$ isp ar t i a lly ordered by $\ leq$ and $0 $  is  the s ma lle s t elem ent i n$ E$.  The cancel lati on laws i n (GPA 3 ) are e a sily ex tended  to  $\ leq$ as  f oll ow s : $ $ \m box { If}a\oplus  b \l eq a\ oplu s c , \mbo x{o r if  }b\o plus a\leq c\ opl us a , 
 \ mbox{  then  }b\ le q c.$ $ An e xisti ng  supremum (resp . in fimum) in  th epar ti allyo rdered  se t ( poset)$E$ ofe lem en t s $a $ and $b$ is denot ed b y$a\vee b $ (res p .by $a\wedge  b $).  Wes a y tha t $a $  a nd $b$ a re *di s jo in t* iff$a \wedge  b =0$ . W e not e  tha t a GP EA-morph ism p r eserves inequa l ities and cor r es p o nd i ng l eft  and rightdiff e renc es.An  im p ortan t exa mp l eo f a GPEA ([@DvVepo] ,Exampl e 2.3 ) is a subset  of the po s i t ive cone  ina  p a rtially ordere d gro up (po-gro u p). Let$(G,+ ,0,
\leq )$ be a p o - group wi th$G^ +:= \{g \ i nG: 0\leq g\}$ . Let$G ^0$ bea n onempty  su bse t o f $ G^ +$ such t hat foral l$a ,b \in  G^0$ ,  if $b\l eq  a$  t hen  $-a+ b ,\ b-a \in G ^0$.  T he n  $( G^0,\op l us , 0 )$,wh er e $\ opl us $ istheg rou p addit ion restr ict e d to  t ho se pair s of elements  w hose sum i saga in in$ G ^0$, isa GPEA whose partial or d er coin cid es wi th t he grouppar tial o rde r  restr ictedto $G ^0 $.\ [le:S l a sh Pro ps \] Let $a, b , 
 $a\leq_b$; conversely,_if $a\leq b$, then_both $a/b$_and_$b\backslash a$_exist_and $b=a\oplus(a/b)=(b\backslash a)\oplus_a$. Also, if_$b\ominus a$ exists, then_$a,b\ominus a\leq b$,_$a\perp(b\ominus_a)$ and $a\oplus(b\ominus a)=(b\ominus a)\oplus a
=b$. We note that a commutative GPEA is the_same_thing as_a_*generalized_effect algebra* [@Zdenka99].

The GPEA $E$_is partially ordered by $\leq$_and $0$_is the smallest element in $E$. The cancellation_laws_in (GPA3) are_easily extended to $\leq$ as follows: $$\mbox{If }a\oplus b\leq_a\oplus c,\mbox{or if }b\oplus a\leq c\oplus_a,
 \mbox{ then_}b\leq_c.$$_An existing supremum (resp._infimum) in the partially ordered set_(poset) $E$ of elements $a$ and_$b$ is denoted by $a\vee b$ (resp._by $a\wedge b$). We say that_$a$ and $b$ are *disjoint*_iff $a\wedge_b=0$. We note that a_GPEA-morphism preserves inequalities_and corresponding_left and right_differences.

An important example of a GPEA_([@DvVepo], Example 2.3)_is a subset of the positive_cone_in a partially_ordered_group_(po-group). Let_$(G,+,0,
\leq)$ be a_po-group_with $G^+:=\{g\in_G:_0\leq g\}$. Let $G^0$ be a_nonempty_subset of $G^+$ such that for all_$a,b\in G^0$, if $b\leq_a$_then $-a+b,\ b-a\in G^0$._Then $(G^0,\oplus,0)$, where $\oplus$ is_the group addition restricted to those_pairs of_elements whose_sum is again in $G^0$, is a GPEA whose partial order_coincides with the group partial order_restricted to $G^0$.

\[le:SlashProps\] Let_$a,b,