"patruljefører" er et 13-bokstavers substantiv som brukes som synonym for "politifunksjonær". politifunksjonær betyr: Politibetjent som leder patrulje.