1. 采礦和冶金的合稱。