"dybdeprøve" er et 10-bokstavers substantiv som brukes som synonym for "borelmengde". borelmengde betyr: Prøve tatt for å måle dybde.