 image-closed under ultraproducts on $\clC$, and let $K=L_{\omega,\omega}$. If $\equiv$ and $\equiv_\Di$ coincide on $\clC$, then $\equiv$ is a bisimulation w.r.t. $\clR$ on $\clC$.

Let $\mathfrak A,\mathfrak A',\mathfrak B$ in $\clC$ be such that $\mathfrak A\equiv\mathfrak A'$ and $\mathfrak A\,\clR\,\mathfrak B$. Observe that for all $\varphi\in K_s$ we have: $$\begin{aligned}
\mathfrak B\vDash\varphi
&\;\Rightarrow\;
\mathfrak A\vDash\Di\varphi
\\
&\;\Rightarrow\;
\mathfrak A'\vDash\Di\varphi
\;\;\;(\text{since }\mathfrak A\equiv_\Di\mathfrak A'\,)
\\
&\;\Rightarrow\;
\mathfrak A'\,\clR\,\mathfrak B_\varphi
\;\&\;
\mathfrak B_\varphi\vDash\varphi
\text{ for some }\mathfrak B_\vf\in\clC.\end{aligned}$$ Let $T=Th^K(\mathfrak B)$. For any $\varGamma\in\mathcal P_{\omega}(T)$ choose a model $\mathfrak B_{\varGamma}$ in $\clC$ as in the observation above, i.e., such that $\mathfrak A'\,\clR\,\mathfrak B_{\varGamma}$ and $\mathfrak B_{\varGamma}\vDash\bigwedge\varGamma$. Pick any ultrafilter $D$ extending the centered family of sets $
S_\varphi=
\{\varGamma\in\mathcal P_{\omega}(T):
\varphi\in\varGamma\}
$ for all $\varphi\in T$ (i.e., a [*fine*]{} ultrafilter over $\mathcal P_{\omega}(T)$). Then the ultraproduct $\mathfrak B'=\prod_D\mathfrak B_\varGamma$ satisfies all $\varphi\in T$, thus $\mathfrak B'\vDash T$. Moreover, since $\clR$ is image-closed under ultraproducts, we have $\mathfrak A'\,\clR\,\mathfrak B'$. This completes the proof.

It suffices to assume that $\clR$ is image-closed under ultraproducts by ultrafilters over 
image - closed under ultraproducts on   $ \clC$, and let $ K = L_{\omega,\omega}$. If $ \equiv$ and $ \equiv_\Di$ coincide on   $ \clC$, then $ \equiv$ is a   bisimulation w.r.t.   $ \clR$ on   $ \clC$. 

 lease $ \mathfrak A,\mathfrak A',\mathfrak B$ in   $ \clC$ be such that $ \mathfrak A\equiv\mathfrak A'$ and $ \mathfrak A\,\clR\,\mathfrak B$. Observe that for all $ \varphi\in K_s$ we have: $ $ \begin{aligned } 
 \mathfrak B\vDash\varphi 
 & \;\Rightarrow\; 
 \mathfrak A\vDash\Di\varphi 
 \\ 
 & \;\Rightarrow\; 
 \mathfrak A'\vDash\Di\varphi 
 \;\;\;(\text{since } \mathfrak A\equiv_\Di\mathfrak A'\ ,) 
 \\ 
 & \;\Rightarrow\; 
 \mathfrak A'\,\clR\,\mathfrak B_\varphi 
 \;\&\; 
 \mathfrak B_\varphi\vDash\varphi 
 \text { for some } \mathfrak B_\vf\in\clC.\end{aligned}$$ lease $ T = Th^K(\mathfrak B)$. For any $ \varGamma\in\mathcal P_{\omega}(T)$ choose a   model   $ \mathfrak B_{\varGamma}$ in   $ \clC$ as in the observation above, i.e., such that $ \mathfrak A'\,\clR\,\mathfrak B_{\varGamma}$ and $ \mathfrak B_{\varGamma}\vDash\bigwedge\varGamma$. Pick any ultrafilter   $ D$ extending the centered kin of sets $ 
 S_\varphi= 
 \{\varGamma\in\mathcal P_{\omega}(T ): 
 \varphi\in\varGamma\ } 
 $ for all $ \varphi\in T$ (i.e., a   [ * fine * ] { } ultrafilter over $ \mathcal P_{\omega}(T)$). Then the ultraproduct $ \mathfrak B'=\prod_D\mathfrak B_\varGamma$ satisfies all $ \varphi\in T$, therefore $ \mathfrak B'\vDash T$. Moreover, since $ \clR$   is image - closed under ultraproducts, we suffer $ \mathfrak A'\,\clR\,\mathfrak B'$. This completes the proof. 

 It suffice to assume that $ \clR$   is image - closed under ultraproducts by ultrafilters over
 imwge-closed under ultraproaucts on $\clC$, and let $K=L_{\mmega,\ojega}$. If $\dquiv$ and $\equiv_\Di$ coincide oi $\clC$, then $\equiv$ is a bisimulatiov w.r.t. $\clR$ ln $\clC$.

Let $\matifrak A,\mathfrak E',\jathfrak B$ in $\dpC$ bz wuch that $\mathnrak A\equiv\kathfrak A'$ and $\mxtkfrak A\,\clR\,\mathfrak B$. Observe that fow all $\vsrohi\in K_s$ we hade: $$\btgig{alifned}
\mathfrak B\vDash\varphi
&\;\Rightarros\;
\mathfrek A\vDash\Di\varpni
\\
&\;\Rightarrow\;
\mathfrak A'\vDasj\Di\vwrphi
\;\;\;(\text{since }\matjfrak A\equic_\Di\mwrhfrak A'\,)
\\
&\;\Righgarrow\;
\mathfrak A'\,\clR\,\matgfrak B_\varphi
\;\&\;
\mathfrak B_\varphi\vDxsh\vaxphi
\text{ fot aolg }\mathfrak B_\tf\in\clB.\end{aligned}$$ Lcn $T=Th^K(\mdthfrak B)$. For any $\varNamma\mn\marhcal P_{\omega}(T)$ choose e model $\mathfrak B_{\varGwmma}$ in $\clW$ cs in the observation avove, h.e., sgch gyat $\mauhfcak A'\,\clR\,\mwthhrak B_{\varGajma}$ and $\matyfrak B_{\varGamma}\vDasn\bytwedge\varGammz$. Pick agy ultrafilter $D$ extending the centered xamjly of sets $
S_\varphi=
\{\varGqmma\in\mathcal P_{\omega}(T):
\garphi\in\vwrGamma\}
$ for all $\varphi\in T$ (i.e., a [*fine*]{} ultrafilter oeer $\metfcao I_{\omeeq}(T)$). Then the ultraproduct $\mathfrak B'=\prod_D\mathfrah B_\fagGamma$ satisfies cll $\varphi\in T$, tnud $\kwthfrak B'\vDasf T$. Moxsober, since $\clR$ is imwge-closgd undwr ultrapwoduvts, we have $\mathfrak A'\,\clR\,\marhfrak B'$. Thif completes the prolf.

It sufficzs to sssumr that $\clR$ is image-closeb unded ultraprodkcts by umgrafilters over 
image-closed under ultraproducts on $\clC$, and let $\equiv$ $\equiv_\Di$ coincide $\clC$, then $\equiv$ on Let $\mathfrak A,\mathfrak B$ in $\clC$ such that $\mathfrak A\equiv\mathfrak A'$ and A\,\clR\,\mathfrak B$. Observe that for all $\varphi\in K_s$ we have: $$\begin{aligned} \mathfrak B\vDash\varphi \mathfrak A\vDash\Di\varphi \\ &\;\Rightarrow\; \mathfrak A'\vDash\Di\varphi \;\;\;(\text{since }\mathfrak A\equiv_\Di\mathfrak A'\,) \\ &\;\Rightarrow\; \mathfrak B_\varphi \mathfrak \text{ some }\mathfrak B_\vf\in\clC.\end{aligned}$$ Let $T=Th^K(\mathfrak B)$. For any $\varGamma\in\mathcal P_{\omega}(T)$ choose a model $\mathfrak B_{\varGamma}$ in as in the observation above, i.e., such that A'\,\clR\,\mathfrak B_{\varGamma}$ and $\mathfrak Pick any ultrafilter $D$ extending centered of sets S_\varphi= P_{\omega}(T): $ for all T$ (i.e., a [*fine*]{} ultrafilter over $\mathcal P_{\omega}(T)$). Then the ultraproduct $\mathfrak B'=\prod_D\mathfrak B_\varGamma$ satisfies all $\varphi\in thus $\mathfrak Moreover, since is under we have $\mathfrak This completes the proof. It suffices $\clR$ is image-closed under ultraproducts by ultrafilters over
 image-closed under ultraprodUcts on $\clC$, aNd let $k=L_{\oMegA,\oMega}$. if $\eqUiv$ and $\equiv_\Di$ cOInciDe on $\clC$, then $\equiv$ is a bisImulaTiON w.r.t. $\CLR$ On $\clC$.

let $\mathFRaK a,\MatHfRaK A',\mAtHFrAk B$ in $\ClC$ Be such tHat $\mathfraK A\eQuIv\mathfrak A'$ aND $\mAthfrak A\,\clr\,\maThfrak B$. ObserVe tHat for AlL $\vaRPhi\in k_s$ wE have: $$\Begin{aLIgned}
\mAthfrak B\vdaSH\varphI
&\;\rightarROW\;
\mAthfRak A\vDash\Di\varphi
\\
&\;\rIgHTarrow\;
\mathfrak a'\vDash\di\VArPHI
\;\;\;(\teXt{sInce }\mathfrAk a\equiV_\di\mathfRAk a'\,)
\\
&\;\rIGhtARrow\;
\mathfrak A'\,\ClR\,\mathfrak b_\VarPhi
\;\&\;
\matHfRak b_\Varphi\VDash\VaRPhi
\Text{ for some }\MathFrak B_\vf\in\ClC.\end{ALigned}$$ LET $T=Th^K(\maThfrak b)$. FoR anY $\vargAmMa\In\mAtHCal p_{\OmEga}(t)$ ChoOse a modeL $\mAtHfrak b_{\vargAMMA}$ in $\cLC$ aS in tHe obsErvation above, I.e., sUch tHAt $\mAthfrAk A'\,\clr\,\matHfRak B_{\vArGammA}$ and $\mAtHfrak B_{\varGamma}\vdash\Bigwedge\vArGAmMa$. PIcK any uLTrafilTer $d$ exTending The centERed FaMILY oF sets $
S_\varphi=
\{\varGamMa\IN\MaThcal P_{\omEga}(T):
\vaRPhI\iN\VarGamma\}
$ FoR alL $\varPHI\in T$ (i.E., a [*fiNE*]{} uLtrafiltEr over $\MAtHcAl P_{\omegA}(T)$). then thE uLtrAprOduct $\MAthfRak B'=\prOd_D\mathfRak B_\vARGamma$ satisfieS All $\varphi\in T$, tHUs $\MAThFRak B'\VDaSh T$. Moreover, SincE $\ClR$ iS imaGE-cLosED undeR ultrApROdUCts, we have $\mathfrak A'\,\cLR\,\MathfrAk B'$. ThIs completes thE proof.

It suFFICes to assUme tHAt $\CLR$ is image-closeD undeR ultraprodUCts by ultRafilTers over 
 image-closed under ultrap roducts on  $\cl C$,  an dlet$K=L _{\omega,\omeg a }$.If $\equiv$ and $\equi v_\Di $c oinc i de  on $ \clC$,t he n $\e qu iv $ i sa  b isimu lat ion w.r .t. $\clR$  on  $ \clC$.

Let$ \m athfrak A, \ma thfrak A',\m ath frak B $in$ \clC$  be  such  that$ \mathf rak A\equ iv \ mathfr a k A'$ a n d  $ \mat hfrak A\,\clR\,\m a th f rak B$. Observ e that  f o ra l l $ \va rphi\in K_ s$  we h a ve: $$\ b eg i n { ali g ned}
\mathfra k B\vDash\v a rph i
&\;\ Ri ght a rrow\; 
\mat hf r akA\vDash\Di\ varp hi
\\
&\; \Right a rrow\;\ mathfra k A'\v Das h\D i\va r ph i\;\ ;\ ; (\t e xt {si n ce}\mathfr ak  A \equi v_\D i \ m a thfr akA'\, )
\\&\;\Rightarro w\; 
\ma t hfr ak A' \,\cl R\,\ ma thfra k B_\v arphi 
\ ;\&\;
\mathfrak  B_\ varphi\vD ash \v arp hi 
\tex t { forsom e } \mathfr ak B_\v f \in \c l C . \e nd{aligned}$$ Let$T = T h^ K(\mathf rak B) $ .Fo r  any $\v ar Gam ma\i n \ mathc al P _ {\ omega}(T )$ cho o se  a  model$\ mathfr ak  B_ {\v arGam m a}$in $\c lC$ as i n the observation ab o ve, i.e., suc h  t h a t$ \mat hfr ak A'\,\clR \,\m a thfr ak B _ {\ var G amma} $ and  $ \ ma t hfrak B_{\varGamma} \v Dash\b igwed ge\varGamma$.  Pick anyu l t rafilter  $D$ ex t ending the cen tered  family of sets $
S _\var phi=
\{\ varGamma\ i n \mathcal  P_ {\o meg a}( T ) :\varphi\in\va r G amma \} 
$ forall  $\varp hi\ inT$(i. e. , a [*fin e*]{} ul tr af il te r o ver $ \ mathcalP_ {\o me ga} (T)$) .  Thenthe u ltra pr od u ct$\mathf r ak B '=\p ro d_ D\ma thf ra k B_\ varG a mma $ satis fies all$\v a rphi \i nT$, thu s $\mathfrakB' \vDash T$.  M ore over,s i nce $\cl R$ is image-closed unde r  ultrap rod ucts,  wehave $\ma thf rak A' \,\ c lR\,\m athfra k B'$ .Thi s compl e t es  th eproof.

It s uff icesto  ass ume tha t $\clR$ is image- c los ed under ultr apr oduc t s  b y u l tr a fil te r s o v e r 
 image-closed_under ultraproducts_on $\clC$, and let $K=L_{\omega,\omega}$._If $\equiv$_and_$\equiv_\Di$ coincide_on $\clC$,_then $\equiv$ is_a bisimulation w.r.t. $\clR$ on $\clC$.

Let_$\mathfrak A,\mathfrak A',\mathfrak B$_in $\clC$ be such_that_$\mathfrak A\equiv\mathfrak A'$ and $\mathfrak A\,\clR\,\mathfrak B$. Observe that for all $\varphi\in K_s$ we_have:_$$\begin{aligned}
\mathfrak B\vDash\varphi
&\;\Rightarrow\;
\mathfrak_A\vDash\Di\varphi
\\
&\;\Rightarrow\;
\mathfrak_A'\vDash\Di\varphi
\;\;\;(\text{since_}\mathfrak A\equiv_\Di\mathfrak A'\,)
\\
&\;\Rightarrow\;
\mathfrak A'\,\clR\,\mathfrak B_\varphi
\;\&\;
\mathfrak_B_\varphi\vDash\varphi
\text{ for some }\mathfrak B_\vf\in\clC.\end{aligned}$$_Let $T=Th^K(\mathfrak_B)$. For any $\varGamma\in\mathcal P_{\omega}(T)$ choose a model $\mathfrak B_{\varGamma}$_in $\clC$_as in the_observation above, i.e., such that $\mathfrak A'\,\clR\,\mathfrak B_{\varGamma}$ and_$\mathfrak B_{\varGamma}\vDash\bigwedge\varGamma$. Pick any ultrafilter $D$ extending_the centered family_of_sets_$
S_\varphi=
\{\varGamma\in\mathcal P_{\omega}(T):
\varphi\in\varGamma\}
$ for all_$\varphi\in T$ (i.e., a [*fine*]{} ultrafilter over_$\mathcal P_{\omega}(T)$). Then the ultraproduct $\mathfrak_B'=\prod_D\mathfrak B_\varGamma$ satisfies all $\varphi\in T$, thus_$\mathfrak B'\vDash T$. Moreover, since $\clR$ is_image-closed under ultraproducts, we have_$\mathfrak A'\,\clR\,\mathfrak_B'$. This completes the proof.

It_suffices to assume_that $\clR$ is_image-closed under ultraproducts_by ultrafilters over 