矿尘是指煤矿井下在生产过程中产生的各种岩矿微粒的总称。
出自:煤矿矿井测风测尘工