矿尘是指煤矿井下在生产过程中产生的各种岩矿微粒的总称。