}$$

We say $(Y,Z,U)\in \mathbb D^{2,\kappa}_H \times \mathbb H^{2,\kappa}_H \times \mathbb J^{2,\kappa}_H$ is a solution to the $2$BSDEJ if

-   $Y_T=\xi$, $\mathcal{P}^\kappa_H$-q.s.

-   For all $\mathbb P \in \mathcal{P}^\kappa_H$ and $0\leq t\leq T$, the process $K^{\mathbb P}$ defined below is predictable and has non-decreasing paths $\mathbb P-a.s.$ $$K_t^{\mathbb P}:=Y_0-Y_t - \int_0^t\widehat{F}^{\mathbb P}_s(Y_s,Z_s,U_s)ds+\int_0^tZ_sdB^{\mathbb P,c}_s + \int_0^t \int_{E} U_s(x) {\mu}^{\mathbb P}_B(dx,ds).
    \label{2bsdej_K}$$

-   The family $\left\{K^{\mathbb P}, \mathbb P \in \mathcal P_H^\kappa\right\}$ satisfies the minimum condition $$K_t^{\mathbb P}=\underset{ \mathbb{P}^{'} \in \mathcal{P}_H^\kappa(t^+,\mathbb{P}) }{ \einf^{\mathbb P} }\mathbb{E}_t^{\mathbb P^{'}}\left[K_T^{\mathbb{P}^{'}}\right], \text{ } 0\leq t\leq T, \text{  } \mathbb P-a.s., \text{ } \forall \mathbb P \in \mathcal P_H^\kappa.
    \label{2bsdej.minK}$$

If the family $\left\{K^{\mathbb P}, \mathbb P \in \mathcal P_H^\kappa\right\}$ can be aggregated into a universal process $K$, we call $(Y,Z,U,K)$ a solution of the $2$BSDEJ.

Following [@stz], in addition to Assumption \[assump.href\], we will always assume

\[assump.h2ref\]

[(i)]{} $\mathcal P_H^\kappa$ is not empty.

[(
} $ $ 

 We say $ (Y, Z, U)\in \mathbb D^{2,\kappa}_H \times \mathbb H^{2,\kappa}_H \times \mathbb J^{2,\kappa}_H$ is a solution to the $ 2$BSDEJ if 

 -    $ Y_T=\xi$, $ \mathcal{P}^\kappa_H$-q.s. 

 -    For all $ \mathbb P \in \mathcal{P}^\kappa_H$ and $ 0\leq t\leq T$, the process $ K^{\mathbb P}$ defined downstairs is predictable and have non - decreasing paths $ \mathbb P - a.s.$ $ $ K_t^{\mathbb P}:=Y_0 - Y_t - \int_0^t\widehat{F}^{\mathbb P}_s(Y_s, Z_s, U_s)ds+\int_0^tZ_sdB^{\mathbb P, c}_s + \int_0^t \int_{E } U_s(x) { \mu}^{\mathbb P}_B(dx, ds). 
     \label{2bsdej_K}$$ 

 -    The kin $ \left\{K^{\mathbb P }, \mathbb P \in \mathcal P_H^\kappa\right\}$ satisfies the minimal condition $ $ K_t^{\mathbb P}=\underset { \mathbb{P}^ {' } \in \mathcal{P}_H^\kappa(t^+,\mathbb{P }) } { \einf^{\mathbb P } } \mathbb{E}_t^{\mathbb P^{'}}\left[K_T^{\mathbb{P}^{'}}\right ], \text { } 0\leq t\leq T, \text {   } \mathbb P - a.s. , \text { } \forall \mathbb P \in \mathcal P_H^\kappa. 
     \label{2bsdej.minK}$$ 

 If the family $ \left\{K^{\mathbb P }, \mathbb P \in \mathcal P_H^\kappa\right\}$ can be aggregate into a universal process $ K$, we address $ (Y, Z, U, K)$ a solution of the $ 2$BSDEJ. 

 Following [ @stz ], in summation to Assumption \[assump.href\ ], we will constantly assume 

 \[assump.h2ref\ ] 

 [ (i) ] { } $ \mathcal P_H^\kappa$ is not empty. 

 [ (
}$$

We day $(Y,Z,U)\in \mathbb D^{2,\kappa}_H \times \mathbb H^{2,\kappa}_H \vimes \mzthbb J^{2,\kxppa}_H$ is a solution to the $2$BDDWJ if

-   $Y_T=\xi$, $\mathcal{P}^\kappa_H$-d.s.

-   For wll $\mathvb P \un \mathcal{'}^\iappa_H$ and $0\les t\lex T$, the process $K^{\mathbb P}$ defined below ir 'redictable and has non-decreasing paehs $\matnbh P-a.s.$ $$K_t^{\mathbb P}:=Y_0-Y_u - \ynt_0^t\spdthat{F}^{\mathbb P}_s(Y_s,Z_s,U_s)ds+\int_0^tZ_sdB^{\matgbb P,c}_s + \int_0^t \int_{E} U_x(x) {\mu}^{\mathbb P}_B(dx,ds).
    \labep{2bsdfj_K}$$

-   The family $\lfft\{K^{\mathbb K}, \maeybb P \in \matfcal P_H^\kapka\xight\}$ satisries the minimum condition $$K_t^{\maghbb '}=\underset{ \mqtybb{O}^{'} \in \mathcal{'}_H^\kappw(t^+,\mathbb{P}) }{ \elmf^{\mathtb P} }\mayhbb{E}_t^{\mathbb P^{'}}\kefv[K_T^{\mqthbb{P}^{'}}\right], \text{ } 0\leq t\leq T, \text{  } \matrbb P-a.s., \taxc{ } \forall \mathbb P \in \mqthcan P_H^\nappx.
    \lagek{2badej.mijK}$$

Ih the familg $\left\{K^{\mathvb P}, \mathbb P \in \mauhcwo P_H^\kappa\righf\}$ can fe aggregated into a universal process $K$, fe dall $(Y,Z,U,K)$ a solution of the $2$BSDEJ.

Following [@sjz], in addieion to Assumption \[assump.href\], we will always assuke

\[assnmo.h2rtf\]

[(l)]{} $\oqtjcal P_H^\kappa$ is not empty.

[(
}$$ We say $(Y,Z,U)\in \mathbb D^{2,\kappa}_H \times \times J^{2,\kappa}_H$ is solution to the - all $\mathbb P \mathcal{P}^\kappa_H$ and $0\leq T$, the process $K^{\mathbb P}$ defined is predictable and has non-decreasing paths $\mathbb P-a.s.$ $$K_t^{\mathbb P}:=Y_0-Y_t - \int_0^t\widehat{F}^{\mathbb P}_s(Y_s,Z_s,U_s)ds+\int_0^tZ_sdB^{\mathbb + \int_0^t \int_{E} U_s(x) {\mu}^{\mathbb P}_B(dx,ds). \label{2bsdej_K}$$ - The family $\left\{K^{\mathbb P}, \mathbb \in P_H^\kappa\right\}$ the condition $$K_t^{\mathbb P}=\underset{ \mathbb{P}^{'} \in \mathcal{P}_H^\kappa(t^+,\mathbb{P}) }{ \einf^{\mathbb P} }\mathbb{E}_t^{\mathbb P^{'}}\left[K_T^{\mathbb{P}^{'}}\right], \text{ } 0\leq t\leq T, } \mathbb P-a.s., \text{ } \forall \mathbb P \mathcal P_H^\kappa. \label{2bsdej.minK}$$ If family $\left\{K^{\mathbb P}, \mathbb P \mathcal can be into universal $K$, we call a solution of the $2$BSDEJ. Following [@stz], in addition to Assumption \[assump.href\], we will always assume \[assump.h2ref\] $\mathcal P_H^\kappa$ empty. [(
}$$

We say $(Y,Z,U)\in \mathbb D^{2,\kappa}_H \tiMes \mathbb H^{2,\Kappa}_h \tiMes \MaThbb j^{2,\kapPa}_H$ is a solution TO the $2$bSDEJ if

-   $Y_T=\xi$, $\mathcal{P}^\kapPa_H$-q.s.

-   foR All $\mAThBb P \in \Mathcal{p}^\KaPPA_H$ aNd $0\LeQ t\lEq t$, ThE procEss $k^{\mathbb p}$ defined beLow Is Predictable aND hAs non-decreAsiNg paths $\mathbB P-a.S.$ $$K_t^{\matHbB P}:=Y_0-y_T - \int_0^t\WidEhat{F}^{\Mathbb p}_S(Y_s,Z_s,U_S)ds+\int_0^tZ_sDB^{\MAthbb P,C}_S + \int_0^t \inT_{e} u_s(X) {\mu}^{\mAthbb P}_B(dx,ds).
    \label{2bSDeJ_k}$$

-   The family $\left\{k^{\mathbB P}, \MAtHBB P \iN \maThcal P_H^\kapPa\Right\}$ SAtisfieS ThE MINimUM condition $$K_t^{\mAthbb P}=\underSEt{ \mAthbb{P}^{'} \In \MatHCal{P}_H^\kAppa(t^+,\MaTHbb{p}) }{ \einf^{\mathbb p} }\matHbb{E}_t^{\mathBb P^{'}}\lefT[k_T^{\mathbB{p}^{'}}\right], \tExt{ } 0\leq T\leQ T, \tExt{  } \mAThBb p-a.s., \TeXT{ } \foRAlL \maTHbb p \in \mathcAl p_H^\Kappa.
    \LabeL{2BSDEj.miNK}$$

IF the FamilY $\left\{K^{\mathbb P}, \MatHbb P \IN \maThcal p_H^\kapPa\riGhT\}$ can bE aggreGated InTo a universal proCess $k$, we call $(Y,Z,u,K)$ a SoLutIoN of thE $2$bSDEJ.

FOllOwiNg [@stz], in AdditioN To ASsUMPTiOn \[assump.href\], we will AlWAYs Assume

\[asSump.h2rEF\]

[(i)]{} $\MaTHcal P_H^\kaPpA$ is Not eMPTy.

[(
}$$

We say $(Y,Z,U)\in \m athbb D^{2 ,\kap pa} _H\t imes  \ma thbb H^{2,\kap p a}_H  \times \mathbb J^{2,\ kappa }_ H $ is asolut ion tot he $ 2$B SD EJ  if 
-   $Y_T =\x i$, $\m athcal{P}^ \ka pp a_H$-q.s.

-  For all $\ mat hbb P \in \m ath cal{P} ^\ kap p a_H$and  $0\l eq t\l e q T$,the proce ss $K^{\m a thbb P} $ de fine d below is predic t ab l e and has non- decrea si n gp a ths  $\ mathbb P-a .s .$ $$ K _t^{\ma t hb b P }:= Y _0-Y_t - \int _0^t\wideha t {F} ^{\mat hb b P } _s(Y_s ,Z_s, U_ s )ds +\int_0^tZ_ sdB^ {\mathbbP,c}_s + \int_ 0 ^t \int _{E} U _s( x){\mu } ^{ \m ath bb P}_ B (d x,d s ).    \lab el {2 bsdej _K}$ $ -    T hefami ly $\ left\{K^{\mat hbb  P}, \ma thbbP \in  \ma th cal P _H^\ka ppa\r ig ht\}$ satisfies  the  minimumcon di tio n$$K_t ^ {\math bbP}= \unders et{ \ma t hbb {P } ^ { '}  \in \mathcal{P}_H ^\ k a pp a(t^+,\m athbb{ P })  } {  \einf^{ \m ath bb P } }\mat hbb{ E }_ t^{\math bb P^{ ' }} \l eft[K_T ^{ \mathb b{ P}^ {'} }\rig h t],\text{  } 0\leq  t\le q  T, \text{  }\ mathbb P-a.s. ,  \ t e xt {  } \ for all \mathbb  P \ i n \m athc a lP_H ^ \kapp a.
  \ la b el{2bsdej.minK}$$
If  the f amily  $\left\{K^{\ mathbb P}, \ m athbb P\in\ ma t hcal P_H^\kapp a\rig ht\}$ canb e aggreg atedinto a u niversalp r ocess $K $,wecal l $ ( Y ,Z ,U,K)$ a solu t i on o fthe $2$ BSD EJ.

Fo llo win g [ @st z] , in addi tion toAs su mp ti on\[ass u mp.href\ ],  we  w ill  alwa y s assu me

\ [ass um p. h 2re f\]

[( i )] { }  $\m at hc al P _H^ \k appa$  isn otempty.
[(
}$$

We say_$(Y,Z,U)\in \mathbb_D^{2,\kappa}_H \times \mathbb H^{2,\kappa}_H_\times \mathbb_J^{2,\kappa}_H$_is a_solution_to the $2$BSDEJ_if

-  _$Y_T=\xi$, $\mathcal{P}^\kappa_H$-q.s.

-  _For all $\mathbb_P_\in \mathcal{P}^\kappa_H$ and $0\leq t\leq T$, the process $K^{\mathbb P}$ defined below is predictable_and_has non-decreasing_paths_$\mathbb_P-a.s.$ $$K_t^{\mathbb P}:=Y_0-Y_t - \int_0^t\widehat{F}^{\mathbb_P}_s(Y_s,Z_s,U_s)ds+\int_0^tZ_sdB^{\mathbb P,c}_s + \int_0^t \int_{E}_U_s(x) {\mu}^{\mathbb_P}_B(dx,ds).
    \label{2bsdej_K}$$

-   The_family_$\left\{K^{\mathbb P}, \mathbb_P \in \mathcal P_H^\kappa\right\}$ satisfies the minimum condition $$K_t^{\mathbb_P}=\underset{ \mathbb{P}^{'} \in \mathcal{P}_H^\kappa(t^+,\mathbb{P}) }{ \einf^{\mathbb_P} }\mathbb{E}_t^{\mathbb P^{'}}\left[K_T^{\mathbb{P}^{'}}\right],_\text{_}_0\leq t\leq T, \text{_ } \mathbb P-a.s., \text{ }_\forall \mathbb P \in \mathcal P_H^\kappa.
_   \label{2bsdej.minK}$$

If the family $\left\{K^{\mathbb_P}, \mathbb P \in \mathcal P_H^\kappa\right\}$_can be aggregated into a_universal process_$K$, we call $(Y,Z,U,K)$ a_solution of the_$2$BSDEJ.

Following [@stz],_in addition to_Assumption \[assump.href\], we will always assume

\[assump.h2ref\]

[(i)]{}_$\mathcal P_H^\kappa$ is_not empty.

[(