动常数在泊松括号下将与哈密顿量交换。假设某个函数formula_13是一个运动常数。这意味着如果formula_14是哈密顿运动方程的一条轨迹或解，则沿着轨迹有formula_15。这样我们有这里中间步骤利用运动方程得到。这个方程称为刘维尔方程。刘维尔定理描述了如上给出的一个测度（或相空间上分布函数）的时间演化。为了使一个哈密顿系统完全可积，所有的运动常数必须互相对合。
定义.设"M"是一个辛流形，即流形上带有一个辛形式（闭的非退化2-形式）：formula_17，这就是说