процесс образования горной выработки преимущественно круглого сечения путём разрушения горных пород главным образом буровым инструментом (реже термическим, гидроэрозионным, взрывным и другими способами) с удалением продуктов разрушения.