矿尘（又叫粉尘）是矿井在生产过程中所产生的各种矿物细微颗粒的总称。