We say it is locally maximal if for every and a neighbourhood of , is not contained in an integral manifold of bigger dimension.
The distribution always posses integral manifolds of dimension 1 (curves), but need not to posses integral manifolds of . Even more, it can have several locally maximal manifolds through the same point, even of different dimensions. But if is involutive distribution then posses locally maximal integral submanifolds of .
In the case of Pfaffian systems
Since Pfaffian systems are a kind of dual to distributions, they have integral manifolds, also.
An integral manifold is a submanifold immersion