Решён
В чем разница между дыркой и отверстием?
Преподаватель на паре сказал, что слово "дырка" в технической документации недопустимо и надо писать "отверстие". Но в чем принципиальная разница? Это просто вопрос стиля речи или тут есть реальное смысловое различие?
Вроде и то и другое - сквозная пустота в чем то. Или нет?
Понял, спасибо! То есть отверстие - это всегда про умысел и точность, а дырка - просто факт наличия пустоты.