Название «мина» происходит, скорее всего, от en mine – подкоп (сначала для обрушения стен крепостей применяли подкопы, впоследствии, с изобретением пороха – подкопы с заложенной взрывчаткой). Здесь имеется в виду поиск старых подкопов, неисследованных полостей внутри горы.
