Proper time is defined in general relativity as follows: Given a pseudo-Riemannian manifold with a local coordinates x and equipped with a metric tensor g μν, the proper time interval Δ τ between two events along a timelike path P is given by the line integral