В дальнейшем оперативный и оперативно-ремонтный персонал, если не требуется разделения, именуется оперативным персоналом.