 This formulation is analogous to the construction of the cotangent space to define the Zariski tangent space in algebraic geometry.The construction also generalizes to locally ringed spaces.Let "M" be a smooth manifold and let "f" ∈ C∞("M") be a smooth function.