Рудничное электротехническое изделие (электротехническое устройство, электрооборудование)

1. Электротехническое изделие (электротехническое устройство, электрооборудование) специального назначения, предназначенное для рудников, шахт, карьеров и горно-обогатительных предприятий

Употребляется в документе:

ГОСТ 18311-80

Изделия электротехнические. Термины и определения основных понятий