6ef145e256d575ca.tex
1: \begin{definition}
2: Let $(F\hookrightarrow E \stackrel{\pi}{\twoheadrightarrow} B)_G$ be a contact symplectic fibration with the contact base $(B,\textrm{Ker}(\mu))$ and the structure group $G \subset \textrm{Exact}(F,\beta)$. The contact structure $\textrm{Ker}(\sigma)$ on $E$ which is defined by the contact form $$\sigma=\sigma_{r-1}=K_{r-1}\mu + \beta +  f_{r-1} d \Psi_{r-1},$$ constructed as in the proof of Theorem \ref{thm:Existence_on_contact_symp_fib}, is called a \emph{bundle contact structure for} $\pi$ \emph{associated to} $\mu$, and will be denoted by $\xi(\mu)$.
3: \end{definition}
4: