Proper length (source code)

= Proper length
{title2=$\ell$}

Proper length is spatial length measured using the <induced metric> on a specified spacelike slice. For a moving extended object, specify the simultaneity convention; local rest lengths need not coincide with a coordinate length.