1
     c     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   e   e   e   1   1   1   1
     b     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   e   d   e   a   1   a   1
     a     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   f   e   e   b   b   1   1
     1     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   f   d   e   c   b   a   1

The case of H-distributivity is different, as we see next.

Every join-semilattice expanded with arrow is H-distributive.

Let ${\bf J} = (J; \leq)$ be a join-semilattice with arrow. Take $a, b, c, h \in J$. Suppose

-   (x1) for all $x \in J$, if $x \leq h$ and $h \leq a$, then $h \leq c$ and

    (x2) for all $x \in J$, if $x \leq h$ and $x \leq b$, then $x \leq c$.

Take $y \in J$ and suppose

-   (F1) $y \leq h$ and

    (F2) $y \leq a \vee b$.

Now, using ($\to$I), (x1) implies $a \leq h \to c$ and (x2) implies $b \leq h \to c$. These inequalities together with (F2) imply $y \leq h \to c$, which, using (F1) and ($\to$E), gives $y \leq c$.

Analogously to what happens when considering lattices, in the finite case we have the following fact.

\[fHd\] Every finite H-dist
1 
      c      $ x_1 $    $ x_2 $    $ x_n$    $ y_1 $    $ y_2 $    $ y_n$    e    e    e    1    1    1    1 
      boron      $ x_1 $    $ x_2 $    $ x_n$    $ y_1 $    $ y_2 $    $ y_n$    east    d    e    a    1    a    1 
      a      $ x_1 $    $ x_2 $    $ x_n$    $ y_1 $    $ y_2 $    $ y_n$    f    e    e    b    b-complex vitamin    1    1 
      1      $ x_1 $    $ x_2 $    $ x_n$    $ y_1 $    $ y_2 $    $ y_n$    f    d    e    c    bel    a    1 

 The character of H - distributivity is unlike, as we examine next. 

 Every join - semilattice boom with arrow is H - distributive. 

 Let $ { \bf J } = (J; \leq)$ be a union - semilattice with arrow. drive $ a, b, c, h \in J$. Suppose 

 -    (x1) for all $ x \in J$, if $ x \leq h$ and $ h \leq a$, then $ h \leq c$ and 

     (x2) for all $ x \in J$, if $ x \leq h$ and $ x \leq b$, then $ x \leq c$. 

 Take $ y \in J$ and suppose 

 -    (F1) $ y \leq h$ and 

     (F2) $ y \leq a \vee b$. 

 nowadays, using ($ \to$I), (x1) implies $ a \leq h \to c$ and (x2) incriminate $ b \leq h \to c$. These inequalities together with (F2) entail $ y \leq h \to c$, which, using (F1) and ($ \to$E), gives $ y \leq c$. 

 Analogously to what happens when considering lattice, in the finite case we have the following fact. 

 \[fHd\ ] Every finite H - dist
1
     c     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   e   e   e   1   1   1   1
     c     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_i$   w   d   e   a   1   a   1
     a     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   f   e   e   b   b   1   1
     1     $w_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   f   d   e   c   b   a   1

The case of H-dystribuyigity is differgnt, ax we ave next.

Every join-semilattice exlanded xith arrow is H-cistributive.

Let ${\bf J} = (J; \lee)$ be a join-semilattice with arrow. Takq $a, b, c, h \in G$. Suppose

-   (x1) for all $s \in J$, if $x \leq h$ and $h \leq a$, tfen $h \leq c$ and

    (x2) xor all $x \ii J$, if $x \leq h$ and $x \leq b$, then $x \leq c$.

Take $y \ik J$ aid syppose

-   (F1) $y \leq h$ anv

    (F2) $y \leq a \vee b$.

Gow, using ($\tk$I), (x1) implies $a \lew y \to w$ ang (x2) knplkes $b \lsq h \tl c$. These inesualities tigether with (F2) implu $r \leq h \to c$, wgich, ufigg (F1) and ($\to$E), gives $y \leq c$.

Analogously tm wgat happens when considwring lattices, in the finite cwse we have the following fact.

\[fHd\] Every finite H-dhst
1 c $x_1$ $x_2$ $x_n$ $y_1$ $y_2$ e 1 1 1 b $x_1$ e e a 1 1 a $x_1$ $x_n$ $y_1$ $y_2$ $y_n$ f e b b 1 1 1 $x_1$ $x_2$ $x_n$ $y_1$ $y_2$ $y_n$ f d c b a 1 The case of H-distributivity is different, as we see Every expanded arrow H-distributive. Let ${\bf J} = (J; \leq)$ be a join-semilattice with arrow. Take $a, b, c, \in J$. Suppose - (x1) for all $x J$, if $x \leq and $h \leq a$, then \leq and (x2) all \in if $x \leq and $x \leq b$, then $x \leq c$. Take $y \in J$ and suppose - (F1) $y h$ and \leq a b$. using (x1) implies $a \to c$ and (x2) implies $b c$. These inequalities together with (F2) imply $y h \to which, using (F1) and ($\to$E), gives \leq c$. Analogously to what happens when considering in the finite case we have the following fact. \[fHd\] Every finite H-dist
1
     c     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   e   e   e   1   1   1   1
     b     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   e   d   e   a   1   A   1
     a     $x_1$   $x_2$   $x_n$   $y_1$   $y_2$   $y_n$   F   e   e   b   b   1   1
     1     $X_1$   $x_2$   $x_N$   $y_1$   $y_2$   $Y_n$   F   d   e   c   B   a   1

ThE case of H-distriBUtivIty is different, as we see nExt.

EvErY Join-SEmIlattIce expaNDeD WIth ArRoW is h-dIStRibutIve.

let ${\bf J} = (J; \Leq)$ be a join-SemIlAttice with arROw. take $a, b, c, h \in j$. SuPpose

-   (x1) for all $X \in j$, if $x \leQ h$ And $H \Leq a$, tHen $H \leq c$ And

    (x2) foR All $x \in j$, if $x \leq h$ aNd $X \Leq b$, thEN $x \leq c$.

TAKE $y \In J$ aNd suppose

-   (F1) $y \leq h$ anD

    (f2) $y \LEq a \vee b$.

Now, usinG ($\to$I), (x1) iMpLIeS $A \Leq H \to C$ and (x2) impliEs $B \leq h \TO c$. These INeQUALitIEs together witH (F2) imply $y \leq H \To c$, Which, uSiNg (F1) ANd ($\to$E), gIves $y \LeQ C$.

AnAlogously to What Happens whEn consIDering lATtices, iN the fiNitE caSe we HAvE tHe fOlLOwiNG fAct.

\[Fhd\] EVery finiTe h-dIst
1
     c     $x_1$   $x_2$    $x_n$  $y_1 $  $y _2 $  $y_n $   e   e   e 1  1   1   1
     b    $x_1$  $x_2 $   $x_n $   $y_ 1 $$y_ 2$   $y _n $   e  d  e   a  1   a  1
   a     $x_1 $   $x_2$   $ x_n $   $y_1$  $y_ 2$   $ y_ n$ f  e  e  b   b 1   1 
     1  $x_1$ $x_2$$x _n$  $y_1$   $y_2$ $y _ n$   f   d   e    c  b  a   1 

T he case of  H -dist r ibutivi t yi s dif f erent, as wesee next.
E ver y join -s emi l attice  expa nd e d w ith arrow i s H- distribut ive.
L et ${\b f  J} = ( J; \le q)$  be  a j o in -s emi la t tic e  w ith arr ow. Take  $ a,  b, c , h\ i n J$.Sup pose 

-  (x1) for all  $x  \in J$,  if $ x \le q h$  a nd $h  \leqa$, t he n $h \leq c$ an d

   (x2) f oral l $ x\in J $ , if $ x \ leq  h$ and  $x \le q  b$ ,t h e n$x \leq c$.

Take$y \ in  J$ andsuppos e 
- (F1) $y  \ leq  h$a n d

   (F 2 )$y \leqa \vee b$ .
Now, u si ng ($\ to $I) , ( x1) i m plie s $a \ leq h \t o c$a nd (x2) implie s  $b \leq h \t o  c $ .  T h eseine qualities t oget h er w ith( F2 ) i m ply $ y \le qh  \ t o c$, which, using(F 1) and  ($\t o$E), gives $ y \leq c$. A nalogous ly t o  w h at happens whe n con sidering l a ttices,in th e finite  case weh a ve the f oll owi ngfac t . 
\[fHd\] Every f init eH-dist
1
 _ _ c  _ _$x_1$_ _$x_2$_  $x_n$_  $y_1$_  $y_2$ _ $y_n$ __e   e   e   1   1 __1 __1
_    b_    $x_1$_ _$x_2$   $x_n$   $y_1$ __$y_2$  _$y_n$   e   d  _e   a  _1  _a__ 1
  _  a   _ $x_1$   $x_2$ _ $x_n$   $y_1$  _$y_2$   $y_n$  _f   e _ e_  b  _b  _1 _ 1
 _   1  _  $x_1$_  $x_2$   $x_n$__ $y_1$ __$y_2$_ _$y_n$  _f_ _d_  e   c__ b   a  _1

The case of H-distributivity_is_different, as we see_next.

Every join-semilattice expanded with arrow_is H-distributive.

Let ${\bf J} = (J;_\leq)$ be_a join-semilattice_with arrow. Take $a, b, c, h \in J$. Suppose

- _ (x1) for all $x \in_J$, if $x \leq_h$ and_$h_\leq a$, then_$h_\leq c$_and

    (x2) for all_$x \in_J$, if $x \leq h$ and_$x \leq b$, then_$x_\leq c$.

Take $y \in J$ and_suppose

-   (F1) $y \leq_h$ and

   _(F2)_$y_\leq a \vee b$.

Now, using_($\to$I), (x1) implies $a \leq h_\to c$ and_(x2) implies $b \leq h \to c$._These_inequalities together with (F2) imply $y_\leq_h \to c$, which, using (F1)_and_($\to$E),_gives $y \leq c$.

Analogously to_what happens when considering lattices, in_the finite case we have the following fact.

\[fHd\] Every_finite H-dist