Definition

Let be a smooth manifold and be a distribution (either regular or singular). A nonempty submanifold is called an integral manifold of if

A distribution is called integrable if every is contained in an integral manifold of .

Motivation

One of the main goals when given or defining a distribution is to find integral manifolds, as this will split up the whole manifold in an interesting way.