矿尘是指矿井在生产过程中所产生的直径小于（)的煤、岩颗粒。