 Another characterization of holonomic modules is via symplectic geometry.The characteristic variety Ch("M") of any "D"-module "M" is, seen as a subvariety of the cotangent bundle T∗"X" of "X", an involutive variety.The module is holonomic if and only if Ch("M") is Lagrangian.