Integrable distribution (source code)

= Integrable distribution

A distribution is integrable when every point lies on an immersed submanifold whose tangent spaces equal the distribution. Such submanifolds are its integral manifolds.