 of cascade (obtaining $v^{+}$, $v^{-}$, $A^{+}$, $A^{-}$)if it is clear from the context which cascade we have on mind. If $v \in V \setminus
\max V$, then the set $v^+$ (if infinite) may be endowed with an order of the type $\omega$, and then by $(v_n)_{n \in \omega}$ we denote the sequence of elements of $v^+$, and by $v_{nV}$ - the $n$-th element of $v^{+V}$.

The [*rank*]{} of $v \in V$ ($r_V(v)$ or $r(v)$) is defined inductively as follows: $r(v)=0$ if $v \in \max V$, and otherwise $r(v)$ is the least ordinal greater than the ranks of all immediate successors of $v$. The rank $r(V)$ of the cascade $V$ is, by definition, the rank of $\emptyset_V$. If it is possible to order all sets $v^+$ (for $v \in V \setminus \max V$) so that for each $v
\in V \setminus \max V$ the sequence $(r(v_n)_{n<\omega})$ is non-decreasing, then the cascade $V$ is [*monotone*]{}, and we fix such an order on $V$ without indication.

Let $W$ be a cascade, and let $(V_w)_{w \in \max W}$ be a pairwise disjoint sequence of cascades such that $V_w \cap W = \emptyset$ for all $w \in \max W$. Then, the [*confluence*]{} of cascades $V_w$ with respect to the cascade $W$ (we write $W \looparrowleft V_w$) is defined as a cascade constructed by the identification $w \in \max
W$ with $\emptyset_{V_w}$ and according to the following rules: $\emptyset_W = \emptyset_{W \looparrowleft V_w}$; if $w\in W
\setminus \max W$, then $w^{+ W \looparrowleft V_w} = w^{+W}$; if $w
\in V_{w_0}$ (for a certain $w_0 \in \max W$), then $w^{+ W
\looparrowleft V_w} =
of cascade (obtaining $ v^{+}$, $ v^{-}$, $ A^{+}$, $ A^{-}$)if it is clear from the context which cascade we get on judgment. If $ v \in V \setminus 
 \max V$, then the set $ v^+$ (if countless) may be endowed with an order of the type $ \omega$, and then by $ (v_n)_{n \in \omega}$ we announce the succession of elements of $ v^+$, and by $ v_{nV}$ - the $ n$-th element of $ v^{+V}$. 

 The [ * rank * ] { } of $ v \in V$ ($ r_V(v)$ or $ r(v)$) is defined inductively as keep up: $ r(v)=0 $ if $ v \in \max V$, and differently $ r(v)$ is the least ordinal greater than the ranks of all immediate successors of $ v$. The rank $ r(V)$ of the cascade $ V$ is, by definition, the rank of $ \emptyset_V$. If it is potential to order all sets $ v^+$ (for $ v \in vanadium \setminus \max V$) so that for each $ v 
 \in V \setminus \max V$ the succession $ (r(v_n)_{n<\omega})$ is non - decreasing, then the cascade $ V$ is [ * flat * ] { }, and we fix such an club on $ V$ without indication. 

 Let $ W$ be a cascade, and lease $ (V_w)_{w \in \max W}$ be a pairwise disjoint sequence of cascades such that $ V_w \cap W = \emptyset$ for all $ w \in \max W$. Then, the [ * confluence * ] { } of cascades $ V_w$ with respect to the cascade $ W$ (we write $ W \looparrowleft V_w$) is defined as a cascade constructed by the identification $ w \in \max 
 W$ with $ \emptyset_{V_w}$ and according to the following rules: $ \emptyset_W = \emptyset_{W \looparrowleft V_w}$; if $ w\in W 
 \setminus \max W$, then $ w^{+ W \looparrowleft V_w } = w^{+W}$; if $ w 
 \in V_{w_0}$ (for a sealed $ w_0 \in \max W$), then $ w^{+ W 
 \looparrowleft V_w } =
 of cascade (obtaining $v^{+}$, $v^{-}$, $A^{+}$, $A^{-}$)if it is cleat drom tie contsxt whicf cascade we have on mind. If $v \in V \setminus
\max V$, then thd set $v^+$ (iv infinire) mey be endowed wivg an order of bhe tvpx $\omega$, and thek by $(v_n)_{n \in \omega}$ we denode tke sequence of elements of $v^+$, and by $d_{nV}$ - thr $j$-th element of $v^{+V}$.

Tnq [*rahk*]{} of $v \in V$ ($r_V(v)$ or $r(v)$) is defined jnductinely as follows: $r(f)=0$ if $v \in \max V$, and otherwlse $g(v)$ is the least orfinal greatgd trqn the ranks of all immediate succgssors of $v$. The rank $r(V)$ of the cxscadz $V$ is, by dgyunihhon, the ranj of $\vmptyset_V$. If ln is povsible yo order all scts $v^+$ (foe $v \in V \setminus \max V$) so that for eacr $v
\in V \satjinus \max V$ the swqyence $(r(v_n)_{t<\omeeq})$ ir nkn-vecdeasinh, tien the casdade $V$ is [*minotone*]{}, and we fix xusy an order on $V$ witrott indication.

Let $W$ be a cascade, and let $(V_w)_{s \in \max W}$ be a pairwisw disjoint sequence ov cascadef such that $V_w \cap W = \emptyset$ for all $w \in \max W$. Then, ghe [*cjvdlkence*]{} of cascades $V_w$ with respect to the cascwse $W$ (we write $W \lojparrowleft V_a$) of defined as x casccse constructed by thf identyficarion $w \in \max
E$ with $\emptyset_{V_w}$ and accoreing to the yoloowing rules: $\emptydet_W = \emptyret_{W \loopsrrowleft V_w}$; if $w\in W
\secminus \max W$, then $w^{+ W \loopzfrowleft V_w} = w^{+W}$; kf $e
\it V_{w_0}$ (for a certain $w_0 \in \mav W$), then $x^{+ W
\lopparrowueft V_w} =
of cascade (obtaining $v^{+}$, $v^{-}$, $A^{+}$, $A^{-}$)if clear the context cascade we have V \max V$, then set $v^+$ (if may be endowed with an order the type $\omega$, and then by $(v_n)_{n \in \omega}$ we denote the sequence elements of $v^+$, and by $v_{nV}$ - the $n$-th element of $v^{+V}$. The of \in ($r_V(v)$ $r(v)$) is defined inductively as follows: $r(v)=0$ if $v \in \max V$, and otherwise $r(v)$ is least ordinal greater than the ranks of all successors of $v$. The $r(V)$ of the cascade $V$ by the rank $\emptyset_V$. it possible to order sets $v^+$ (for $v \in V \setminus \max V$) so that for each $v \in V \setminus V$ the is non-decreasing, the $V$ [*monotone*]{}, and we an order on $V$ without indication. a cascade, and let $(V_w)_{w \in \max W}$ a pairwise sequence of cascades such that $V_w W = \emptyset$ for all $w \in \max Then, the [*confluence*]{} of cascades $V_w$ with respect to the cascade $W$ (we write $W is defined as a constructed by the $w \max with and according the following rules: $\emptyset_W = \emptyset_{W \looparrowleft V_w}$; if $w\in W \max W$, then $w^{+ W \looparrowleft V_w} = w^{+W}$; if V_{w_0}$ a certain $w_0 \max W$), then $w^{+ \looparrowleft =
 of cascade (obtaining $v^{+}$, $v^{-}$, $A^{+}$, $A^{-}$)if iT is clear frOm the ConTexT wHich CascAde we have on minD. if $v \iN V \setminus
\max V$, then the sEt $v^+$ (if InFInitE) MaY be enDowed wiTH aN ORdeR oF tHe tYpE $\OmEga$, anD thEn by $(v_n)_{n \In \omega}$ we dEnoTe The sequence oF ElEments of $v^+$, aNd bY $v_{nV}$ - the $n$-th elEmeNt of $v^{+V}$.

thE [*raNK*]{} of $v \iN V$ ($r_v(v)$ or $r(V)$) is defINed indUctively aS fOLlows: $r(V)=0$ If $v \in \maX v$, AnD othErwise $r(v)$ is the leasT OrDInal greater thaN the raNkS Of ALL imMedIate succesSoRs of $v$. tHe rank $r(v)$ Of THE CasCAde $V$ is, by definItion, the ranK Of $\eMptyseT_V$. if iT Is possIble tO oRDer All sets $v^+$ (for $V \in V \Setminus \mAx V$) so tHAt for eaCH $v
\in V \seTminus \Max v$ thE seqUEnCe $(R(v_n)_{N<\oMEga})$ IS nOn-dECreAsing, theN tHe CascaDe $V$ iS [*MONOtonE*]{}, anD we fIx sucH an order on $V$ wiThoUt inDIcaTion.

LEt $W$ be A casCaDe, and Let $(V_w)_{w \In \max w}$ bE a pairwise disjoInt sEquence of CasCaDes SuCh thaT $v_w \cap W = \EmpTysEt$ for alL $w \in \max w$. theN, tHE [*COnFluence*]{} of cascades $V_W$ wITH rEspect to The casCAdE $W$ (WE write $W \lOoParRowlEFT V_w$) is DefiNEd As a cascaDe consTRuCtEd by the IdEntifiCaTioN $w \iN \max
W$ WIth $\eMptyseT_{V_w}$ and acCordiNG to the followinG Rules: $\emptyset_w = \EmPTYsET_{W \loOpaRrowleft V_w}$; iF $w\in w
\SetmInus \MAx w$, thEN $w^{+ W \loOparrOwLEfT v_w} = w^{+W}$; if $w
\in V_{w_0}$ (for a certAiN $w_0 \in \maX W$), theN $w^{+ W
\looparrowlEft V_w} =
 of cascade (obtaining $v^ {+}$, $v^{ -}$,$A^ {+} $,  $A^ {-}$ )if it is clea r  fro m the context which ca scade  w e  hav e  o n min d. If $ v  \ i n  V\s et min us \m ax V$ , t hen the  set $v^+$  (i finfinite) ma y  b e endowedwit h an order o f t he typ e$\o m ega$,  an d the n by $ ( v_n)_{ n \in \om eg a }$ wed enote t h e  s eque nce of elements o f  $ v ^+$, and by $v _{nV}$  - th e $n$ -th  element o f$v^{+ V }$.

Th e  [ * r a nk* ] {} of $v \inV$ ($r_V(v) $  or  $r(v) $)  is define d ind uc t ive ly as follo ws:$r(v)=0$if $v\ in \max V$, and  other wis e $ r(v) $  i sthe  l e ast or din a l g reater t ha nthe r anks o f allimm edia te su ccessors of $ v$.  The ran k $r( V)$ o f th ecasca de $V$  is,by  definition, th e ra nk of $\e mpt ys et_ V$ . Ifi t is p oss ibl e to or der all set s$ v ^ +$  (for $v \in V \se tm i n us  \max V$ ) so t h at  f o r each $ v\in  V \ s e tminu s \m a xV$ the s equenc e  $ (r (v_n)_{ n< \omega }) $ i s n on-de c reas ing, t hen thecasca d e $V$ is [*mon o tone*]{}, and we f ix such  an  order on $ V$ w i thou t in d ic ati o n.

L et $W $b ea  cascade, and let $ (V _w)_{w  \in\max W}$ be a  pairwised i s joint se quen c eo f cascades suc h tha t $V_w \ca p  W = \em ptyse t$ for a ll $w \in \ max W$.The n,the  [* c o nf luence*]{} of c asca de s $V_w$  wi th resp ect  to  th e c as cade $W$(we writ e$W  \ lo opa rrowl e ft V_w$)  i s d ef ine d asa  casca de co nstr uc te d  by  the id e nt i f icat io n$w \ in\m ax
W$  wit h  $\ emptyse t_{V_w}$and acco rd in g to th e following r ul es: $\empt ys et_ W = \e m p tyset_{W  \looparrowleft V_w}$;i f $w\in  W\setm inus  \max W$,  th en $w^ {+W  \loop arrowl eft V _w } = w ^{+W} $ ;  i f $ w\in V_{w_0 } $  (f or ace rtai n $w_0\in \max W$), then $w^ {+ W
\looparr owl eftV _ w}  =
 of_cascade (obtaining_$v^{+}$, $v^{-}$, $A^{+}$, $A^{-}$)if_it is_clear_from the_context_which cascade we_have on mind._If $v \in V_\setminus
\max V$, then_the_set $v^+$ (if infinite) may be endowed with an order of the type $\omega$,_and_then by_$(v_n)_{n_\in_\omega}$ we denote the sequence_of elements of $v^+$, and_by $v_{nV}$_- the $n$-th element of $v^{+V}$.

The [*rank*]{} of_$v_\in V$ ($r_V(v)$_or $r(v)$) is defined inductively as follows: $r(v)=0$ if_$v \in \max V$, and otherwise_$r(v)$ is the_least_ordinal_greater than the ranks_of all immediate successors of $v$._The rank $r(V)$ of the cascade_$V$ is, by definition, the rank of_$\emptyset_V$. If it is possible to_order all sets $v^+$ (for_$v \in_V \setminus \max V$) so_that for each_$v
\in V_\setminus \max V$_the sequence $(r(v_n)_{n<\omega})$ is non-decreasing, then_the cascade $V$_is [*monotone*]{}, and we fix such_an_order on $V$_without_indication.

Let_$W$ be_a cascade, and_let_$(V_w)_{w \in_\max_W}$ be a pairwise disjoint sequence_of_cascades such that $V_w \cap W =_\emptyset$ for all $w_\in_\max W$. Then, the_[*confluence*]{} of cascades $V_w$ with_respect to the cascade $W$ (we_write $W_\looparrowleft V_w$)_is defined as a cascade constructed by the identification $w \in_\max
W$ with $\emptyset_{V_w}$ and according to_the following rules: $\emptyset_W_= \emptyset_{W_\looparrowleft_V_w}$; if $w\in_W
\setminus_\max W$,_then $w^{+ W \looparrowleft V_w} = w^{+W}$;_if $w
\in_V_{w_0}$ (for a certain $w_0 \in_\max W$), then $w^{+_W
\looparrowleft_V_w} =