(в горном деле) ядовитый газ, в состав которого входит диоксид углерода, монооксид углерода и другие удушающие вещества, иногда встречающиеся в шахтах подземных разработок. Для сравнения: газ рудничный.