"dybdeinnstilling" er et 16-bokstavers substantiv som brukes som synonym for "borelmengde". borelmengde betyr: Innstilling av dybde.