Don't we want this to link somehow to measure theory? Specifically, I believe length is often defined as the measure of a measurable subset of the real line. --Dfeuer (talk) 08:06, 5 January 2013 (UTC)