En este artículo las llamaremos generalmente Mina Ligera y Mina Pesada, aunque también pueden aparecer como Mina Antigua y Nueva Mina.