ein Satz von n reellwertigen C^∞-Funktionen (I₁, …, I_n) =: I, die auf einer offenen Teilmenge U des 2n-dimensionalen Phasenraums M eines integrablen Hamiltonschen Systems (M, ω, H) definiert sind, dessen Niveauflächen in U nach dem Satz von Liouville-Arnold (Liouville-Arnold, Satz von) aus n-dimensionalen Tori bestehen, und die folgenden Bedingungen genügen:

1. Die Funktionen I₁, …, I_n sind funktional unabhängig in U und konstant auf jedem der eben erwähnten Tori.
2. Die Flüsse der nHamilton-FelderX_I1, …, X_In sind auf jedem Torus periodisch und induzieren dort die sog. Winkelvariablen, d. h. einen Diffeomorphismus mit dem kartesischen Produkt von n Einheitskreisen.
3. H ist auf U eine Funktion der Wirkungsvariablen, d. h. es existiert eine reellwertige C^∞-Funktion h : ℝⁿ → ℝ mit H = h(I).

Die Größen \begin{eqnarray}{\omega}_{k}:=(\partial h/\partial {I}_{k})(I)\end{eqnarray}

geben genau die Kreisfrequenzen des quasiperiodischen Flusses von H auf jedem Torus an.