A origem do nome Mina remonta ao final do século XIX e início do século XX, quando foi utilizado para designar uma fonte de água situada próxima à linha ferroviária no norte. Essa nascente, que corria a grande profundidade, era a única na região da Amadora que mantinha um fluxo constante, mesmo durante os meses de verã