煤尘是矿井生产过程中所产生的煤的微粒。