 operations by the formula (\[eq:QuasiJordanProduct\]).

The definition of special Jordan dialgebras has been introduced by the analogy with ordinary algebras, where a Jordan algebra $J$ is called special, if $J\hookrightarrow A^{(+)}$ for some associative algebra $A$ and the product in $A^{(+)}$ is given by the formula $$\label{eq:JordanProduct}
a\circ b=\frac{1}{2}(ab+ba).$$

Let now $D$ be an associative dialgebra. The mapping $*\colon D\to
D$ is called an *involution* (involution of the second type [@Pozh:09]) of the dialgebra $D$, if $*$ is linear and $$\label{eq:DefOfInvolution}
(a^*)^*=a,\quad (a{\mathbin\vdash}b)^*=b^*{\mathbin\dashv}a^*,\quad (a{\mathbin\dashv}b)^*=b^*{\mathbin\vdash}a^*$$ for all $a$, $b\in D$.

The set $H(D,*)=\{x\in D\mid x=x^*\}$ of symmetric elements with respect to $*$ is closed relative to operations (\[eq:QuasiJordanProduct\]). This set is a subalgebra of the algebra $D^{(+)}$. So, $H(D,*)$ is a special Jordan dialgebra.

We now construct an example of an exceptional Jordan dialgebra.

\[prop:ExampleExceptionalDialgebra\] Let $(J,\circ)$ be an exceptional Jordan algebra and suppose the condition $x\circ J=0$, $x\in J$, implies $x=0$. Then $J$ as a dialgebra with equal operations $x{\mathbin{{}_{(\vdash)}}}y:=x\circ y$ and $x{\mathbin{{}_{(\dashv)}}}y:=x\circ
y$ is an exceptional Jordan dialgebra.

Assume the opposite. Let $J\hookrightarrow D^{(+)}$ where $(D,\vdash,\dashv)$ is an associative dialgebra and the product in $D^{(+)}$ is given by the formula (\[eq:QuasiJordanProduct\]). Consider $I={\mathop{\mathrm{Span}}\nolimits}\{a{\mathbin\vdash}b-a{\mathbin\dashv}b
operations by the formula (\[eq: QuasiJordanProduct\ ]). 

 The definition of special Jordan dialgebras has been introduced by the doctrine of analogy with average algebra, where a Jordan algebra $ J$ is called special, if $ J\hookrightarrow A^{(+)}$ for some associative algebra $ A$ and the product in $ A^{(+)}$ is yield by the formula $ $ \label{eq: JordanProduct } 
 a\circ b=\frac{1}{2}(ab+ba).$$ 

 Let immediately $ D$ be an associative dialgebra. The function $ * \colon D\to 
 D$ is called an * involution * (involution of the second type [ @Pozh:09 ]) of the dialgebra $ D$, if $ * $ is linear and $ $ \label{eq: DefOfInvolution } 
 (a^*)^*=a,\quad (a{\mathbin\vdash}b)^*=b^*{\mathbin\dashv}a^*,\quad (a{\mathbin\dashv}b)^*=b^*{\mathbin\vdash}a^*$$ for all $ a$, $ b\in D$. 

 The hardening $ H(D,*)=\{x\in D\mid x = x^*\}$ of symmetric element with respect to $ * $ is closed relative to operations (\[eq: QuasiJordanProduct\ ]). This set is a subalgebra of the algebra $ D^{(+)}$. thus, $ H(D,*)$ is a special Jordan dialgebra. 

 We now construct an exercise of an exceptional Jordan dialgebra. 

 \[prop: ExampleExceptionalDialgebra\ ] Let $ (J,\circ)$ be an exceptional Jordan algebra and suppose the circumstance $ x\circ J=0 $, $ x\in J$, implies $ x=0$. Then $ J$ as a dialgebra with adequate operations $ x{\mathbin{{}_{(\vdash)}}}y:=x\circ y$ and $ x{\mathbin{{}_{(\dashv)}}}y:=x\circ 
 y$ is an exceptional Jordan dialgebra. 

 Assume the opposite. get $ J\hookrightarrow D^{(+)}$ where $ (D,\vdash,\dashv)$ is an associative dialgebra and the product in $ D^{(+)}$ is given by the formula (\[eq: QuasiJordanProduct\ ]). Consider $ I={\mathop{\mathrm{Span}}\nolimits}\{a{\mathbin\vdash}b - a{\mathbin\dashv}b
 opfrations by the formula (\[tq:QuasiJordanProdocr\]).

The dxfinitikn of spdcial Jordan dialgebras has ueen intriduced by the analogy dith ordijary algwbraw, where a Jordan alnzbra $N$ is eaoled special, in $J\hookrighdarrow A^{(+)}$ for smmd cssociative algebra $A$ and the produce in $A^{(+)}$ os given by the sormllw $$\lagvl{tq:JordanProduct}
a\circ b=\frac{1}{2}(ab+ba).$$

Let now $D$ ue an associatife dialgebra. The mapping $*\cllon D\to
D$ is called an *involution* (invjoution of thd second tj'e [@Pozh:09]) of jhe dialgebra $D$, if $*$ is linear ana $$\labzl{eq:DefOfIncooutlmn}
(a^*)^*=a,\quad (a{\methbin\ndash}b)^*=b^*{\mathbik\cashv}a^*,\xuad (a{\msthbin\dashv}b)^*=b^*{\msthuin\veash}a^*$$ for all $a$, $b\in D$.

Vhe set $H(D,*)=\{x\in D\mid x=v^*\}$ of symmatxic elements with respext to $*$ is clorwd felztmve to opfravions (\[eq:QuaaiJordanProeuct\]). This set is a xufqlgebra of ths algefrw $D^{(+)}$. So, $H(D,*)$ is a special Jordan dialgebra.

Fe how construct an examplw of an exceptional Jlrdan diajgebra.

\[prop:ExampleExceptionalDialgebra\] Let $(J,\circ)$ ba an xxzepuiinal Girfan algebra and suppose the condition $x\circ J=0$, $s\im M$, implies $x=0$. Then $J$ as a diakgfbtw with equal uperatnkna $x{\mathbin{{}_{(\vdash)}}}y:=x\clrc y$ agd $x{\mqthbin{{}_{(\dasrv)}}}y:=x\virc
y$ is an exceptional Jorean dialgebrc.

Aswume the opposite. Pet $J\hookriyhtarrpw D^{(+)}$ ehere $(D,\vdash,\dashv)$ is an asskciative diwlgebra aha the product in $D^{(+)}$ ps ghven by ufe formula (\[eq:QuasyJordanPriducc\]). Considdr $I={\kathop{\iathrm{Span}}\jolimlds}\{a{\mathbin\vdash}b-a{\mwthbiu\dashe}b
operations by the formula (\[eq:QuasiJordanProduct\]). The definition Jordan has been by the analogy Jordan $J$ is called if $J\hookrightarrow A^{(+)}$ some associative algebra $A$ and the in $A^{(+)}$ is given by the formula $$\label{eq:JordanProduct} a\circ b=\frac{1}{2}(ab+ba).$$ Let now $D$ an associative dialgebra. The mapping $*\colon D\to D$ is called an *involution* (involution the type of dialgebra $D$, if $*$ is linear and $$\label{eq:DefOfInvolution} (a^*)^*=a,\quad (a{\mathbin\vdash}b)^*=b^*{\mathbin\dashv}a^*,\quad (a{\mathbin\dashv}b)^*=b^*{\mathbin\vdash}a^*$$ for all $a$, $b\in D$. set $H(D,*)=\{x\in D\mid x=x^*\}$ of symmetric elements with to $*$ is closed to operations (\[eq:QuasiJordanProduct\]). This set a of the $D^{(+)}$. $H(D,*)$ a special Jordan We now construct an example of an exceptional Jordan dialgebra. \[prop:ExampleExceptionalDialgebra\] Let $(J,\circ)$ be an exceptional Jordan and suppose $x\circ J=0$, J$, $x=0$. $J$ as a equal operations $x{\mathbin{{}_{(\vdash)}}}y:=x\circ y$ and $x{\mathbin{{}_{(\dashv)}}}y:=x\circ exceptional Jordan dialgebra. Assume the opposite. Let $J\hookrightarrow where $(D,\vdash,\dashv)$ an associative dialgebra and the product $D^{(+)}$ is given by the formula (\[eq:QuasiJordanProduct\]). Consider
 operations by the formula (\[eq:QUasiJordanproduCt\]).

THe dEfInitIon oF special Jordan DIalgEbras has been introduced By the AnALogy WItH ordiNary algEBrAS, WheRe A JOrdAn ALgEbra $J$ Is cAlled spEcial, if $J\hoOkrIgHtarrow A^{(+)}$ for sOMe AssociativE alGebra $A$ and the ProDuct in $a^{(+)}$ iS giVEn by tHe fOrmulA $$\label{EQ:JordaNProduct}
a\CiRC b=\frac{1}{2}(AB+ba).$$

Let nOW $d$ bE an aSsociative dialgebRA. THE mapping $*\colon D\To
D$ is cAlLEd AN *InvOluTion* (involuTiOn of tHE second TYpE [@pOZh:09]) oF The dialgebra $D$, If $*$ is linear aND $$\laBel{eq:DEfofINVolutiOn}
(a^*)^*=a,\qUaD (A{\maThbin\vdash}b)^*=B^*{\matHbin\dashv}A^*,\quad (a{\MAthbin\dAShv}b)^*=b^*{\maThbin\vDasH}a^*$$ fOr alL $A$, $b\In d$.

ThE sET $H(D,*)=\{X\In d\miD X=x^*\}$ oF symmetrIc ElEmentS witH RESPect To $*$ iS cloSed reLative to operaTioNs (\[eq:qUasIJordAnProDuct\]). thIs set Is a subAlgebRa Of the algebra $D^{(+)}$. So, $h(D,*)$ is A special JOrdAn DiaLgEbra.

WE Now conStrUct An exampLe of an eXCepTiONAL JOrdan dialgebra.

\[prop:exAMPlEExceptiOnalDiALgEbRA\] Let $(J,\cirC)$ bE an ExcePTIonal jordAN aLgebra anD suppoSE tHe ConditiOn $X\circ J=0$, $X\iN J$, iMplIes $x=0$. THEn $J$ aS a dialGebra witH equaL Operations $x{\matHBin{{}_{(\vdash)}}}y:=x\cirC Y$ aND $X{\mAThbiN{{}_{(\daShv)}}}y:=x\circ
y$ iS an eXCeptIonaL joRdaN DialgEbra.

ASsUMe THe opposite. Let $J\hookrIgHtarroW D^{(+)}$ wheRe $(D,\vdash,\dashv)$ Is an associATIVe dialgeBra aND tHE product in $D^{(+)}$ is gIven bY the formulA (\[Eq:QuasiJOrdanproduct\]). COnsider $I={\mATHop{\mathrM{SpAn}}\nOliMitS}\{A{\MaThbin\vdash}b-a{\mATHbin\DaShv}b
 operations by the formula  (\[eq:Qua siJor dan Pro du ct\] ).
The definition of s pecial Jordan dialgebr as ha sb eeni nt roduc ed by t h ea n alo gy  w ith  o r di naryalg ebras,where a Jo rda nalgebra $J$i scalled spe cia l, if $J\hoo kri ghtarr ow  A^ { (+)}$  fo r som e asso c iative  algebra$A $  and t h e produ c t  i n $A ^{(+)}$ is givenb yt he formula $$\ label{ eq : Jo r d anP rod uct}
a\cir cb=\fr a c{1}{2} ( ab + b a ).$ $ 

Let now $D$  be an asso c iat ive di al geb r a. The  mapp in g  $* \colon D\to 
D$is called  an *i n volutio n * (invo lution  of  th e se c on dtyp e[ @Po z h: 09] )  of  the dia lg eb ra $D $, i f $ * $ is  li near  and$$\label{eq:D efO fInv o lut ion}(a^*) ^*=a ,\ quad(a{\ma thbin \v dash}b)^*=b^*{\ math bin\dashv }a^ *, \qu ad  (a{\ m athbin \da shv }b)^*=b ^*{\mat h bin \v d a s h} a^*$$ for all $a$,  $ b \ in  D$.

Th e set$ H( D, * )=\{x\in  D \mi d x= x ^ *\}$of s y mm etric el ements wi th  respec tto $*$  i s c los ed re l ativ e to o peration s (\[ e q:QuasiJordanP r oduct\]). Thi s  s e t  i s  a s uba lgebra of t he a l gebr a $D ^ {( +)} $ . So,  $H(D ,* ) $i s a special Jordandi algebr a.

W e now constru ct an exam p l e  of an e xcep t io n al Jordan dial gebra .

\[prop: E xampleEx cepti onalDial gebra\] L e t  $(J,\ci rc) $ b e a n e x c ep tional Jordan a lgeb ra  and su ppo se thecon dit ion  $x \c irc J=0$,  $x\in J $,  i mp li es$x=0$ .  Then $J $asadia lgebr a  withequal  ope ra ti o ns$x{\mat h bi n { {}_{ (\ vd ash) }}} y: =x\ci rc y $  an d $x{\m athbin{{} _{( \ dash v) }} }y:=x\c irc
y$ is anex ceptionalJo rda n dial g e bra.

As sume the opposite. Let$ J\hookr igh tarro w D^ {(+)}$ wh ere  $(D,\ vda s h,\das hv)$ i s anas soc i a tived i al geb ra  and the p r o duc t in$D ^{(+ )}$ isgiven by the formu l a ( \[eq:QuasiJor dan Prod u c t\ ]). Co n sid er $I= { \ mathop{\mathrm{ Span}}\nol im i ts }\{a{\math b in\ vd ash}b-a {\mathb in\da s hv}b
 operations_by the_formula (\[eq:QuasiJordanProduct\]).

The definition of_special Jordan_dialgebras_has been_introduced_by the analogy_with ordinary algebras,_where a Jordan algebra_$J$ is called_special,_if $J\hookrightarrow A^{(+)}$ for some associative algebra $A$ and the product in $A^{(+)}$ is_given_by the_formula_$$\label{eq:JordanProduct}
a\circ_b=\frac{1}{2}(ab+ba).$$

Let now $D$ be an_associative dialgebra. The mapping $*\colon_D\to
D$ is_called an *involution* (involution of the second type_[@Pozh:09])_of the dialgebra_$D$, if $*$ is linear and $$\label{eq:DefOfInvolution}
(a^*)^*=a,\quad (a{\mathbin\vdash}b)^*=b^*{\mathbin\dashv}a^*,\quad (a{\mathbin\dashv}b)^*=b^*{\mathbin\vdash}a^*$$_for all $a$, $b\in D$.

The set_$H(D,*)=\{x\in D\mid x=x^*\}$_of_symmetric_elements with respect to_$*$ is closed relative to operations_(\[eq:QuasiJordanProduct\]). This set is a subalgebra_of the algebra $D^{(+)}$. So, $H(D,*)$ is_a special Jordan dialgebra.

We now construct_an example of an exceptional_Jordan dialgebra.

\[prop:ExampleExceptionalDialgebra\]_Let $(J,\circ)$ be an exceptional_Jordan algebra and_suppose the_condition $x\circ J=0$,_$x\in J$, implies $x=0$. Then $J$_as a dialgebra_with equal operations $x{\mathbin{{}_{(\vdash)}}}y:=x\circ y$ and_$x{\mathbin{{}_{(\dashv)}}}y:=x\circ
y$_is an exceptional_Jordan_dialgebra.

Assume_the opposite._Let $J\hookrightarrow D^{(+)}$_where_$(D,\vdash,\dashv)$ is_an_associative dialgebra and the product in_$D^{(+)}$_is given by the formula (\[eq:QuasiJordanProduct\]). Consider_$I={\mathop{\mathrm{Span}}\nolimits}\{a{\mathbin\vdash}b-a{\mathbin\dashv}b