"strekning" er et 9-bokstavers substantiv som brukes som synonym for "borelmengde". borelmengde betyr: Lengden av en linje eller et område.