煤炭生产过程中混入煤中的矿物质所形成的灰分。