Involutive distribution
= Involutive distribution
= Involutive
{synonym}
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>.