 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.