"dybdeprosjekt" er et 13-bokstavers substantiv som brukes som synonym for "borelmengde". borelmengde betyr: Prosjekt som måler dybde.