How is proper length (l0l_0l0) defined?
The length measured by an observer who is at rest relative to the object.
