4 velocity is a four-vector whose elements are given by the contravariant expression

where is the proper time.

For special relativity an inertial frame observer finds the proper time from his own coordinate time and the coordinate speed of the thing being observed by

So we can write

Giving us the relation between 4-velocity and coordinate velocity as