gas ignition

gas ignition

[¦gas ig′nish·ən] (mining engineering) The setting on fire of an accumulation of firedamp in a coal mine.