An envelope of a family of manifolds (family of curves) is
a manifold that is tangent to each member of the family at
other words the form of envelope treated here is a manifold
that manages to be tangent to some point of each member of
a family of manifolds. Curves are the usual manifolds involved.