Let the coordinates on phase space be (q,p), and let f be a function defined everywhere on phase space.
Die Koordinaten des Phasenraums seien (q,p); ferner sei f eine Funktion, die überall im Phasenraum definiert ist.