First integrals in involution
= First integrals in involution
First integrals are in involution when every pair has zero <Poisson bracket>. An $n$-degree-of-freedom Hamiltonian system is <Liouville integrable> when it has $n$ almost-everywhere independent first integrals in involution.