Definition:Pre-Differentiable Structure