炼铁就是从铁矿石中提取铁及其有用元素形成生铁的过程。