Mina é, vulgarmente, uma escavação destinada à obtenção de substâncias úteis ao homem, como minérios, combustíveis, água etc.[1] Para a geologia e a engenharia de minas, entretanto, o conceito está restrito ao "local onde se faz a extração organizada, baseada em estudos geológicos e de engenharia de minas, de uma jazida" sendo que também "é o nome dado a uma indústria que produz minério". Difere, assim, da lavra, que é o "conjunto de procedimentos realizados para a produção de minério. A lavra é executada conforme estudos e ensaios de geologia e engenharia de minas que otimizam a extração do minério de um depósito mineral e a preservação do meio ambiente" e do garimpo, em que a exploração se dá de forma organizada e predatória.[2] O termo "mina" provém das línguas celtas, através do termo francêsmine.[1]
Planejamento
A primeira etapa da construção de uma mina é a do planejamento, feita logo após os estudos iniciais do local que determinam a existência, tamanho e condições da jazida, bem como o estado geológico. Nessa etapa, portanto, é determinado o "processo para se determinar as metodologias mais eficientes para o sequenciamento de lavra e extração, sendo assim o resultado de um conjunto de tarefas que visa o melhor aproveitamento dos recursos minerais".[3]