Изделие электротехническое, рудничное — электротехническое изделие (электротехническое устройство, электрооборудование) специального назначения, предназначенное для рудников, шахт, карьеров и горно-обогатительных предприятий
[ГОСТ 18311-80. Изделия электротехнические. Термины и определения основных понятий (с Изменениями N 1, 2)]