矿井内空气中的有害气体，是由煤体及围岩中涌出或在生产过程中产生的。