"dybdemåler" er et 10-bokstavers substantiv som brukes som synonym for "borelmengde". borelmengde betyr: Enhet eller instrument som måler dybde.