"operasjonsleder" er et 15-bokstavers substantiv som brukes som synonym for "etterretningssjef". etterretningssjef betyr: Leder for operasjonell etterretningsvirksomhet.