involutive distribution

Definition

For a smooth manifold , a distribution is called involutive if for any vector fields

where denotes the Lie bracket on the vector fields.

For regular distributions

In the case of regular distributions, involution is all that is needed to check for integrablility.

Check out