| a manifold having the property that any two overlapping open sets are homeomorphic to locally Euclidean spaces whose coordinates are related by differentiable functions, a property with wide applications in mathematical physics and differential geometry. |