"dybdeintervall" er et 14-bokstavers substantiv som brukes som synonym for "borelmengde". borelmengde betyr: Intervallet av dybde.