 Involutive distribution

A smooth distribution is involutive if its local smooth sections are closed under the Lie bracket of vector fields. The Frobenius theorem identifies this algebraic condition with being an integrable distribution.