a length of space