矿尘是指煤矿生产过程产生的各种矿物细微颗粒的总称，又叫做粉尘。