die Einbettung einer Pfaffschen Kontaktmannigfaltigkeit (M, ω) (wobei ω das globale Kontaktformenfeld bezeichnet) in ihre Symplektifizierung \begin{eqnarray}\tilde{M}=\{r\omega (m)\in {T}^{* }M|r\in {\mathbb{R}}\backslash \{0\},\,\,m\in M\}\end{eqnarray} durch die Vorschrift m ↦ ω(m).