Policia Militar (Função)

A Polícia Militar é o serviço ou corpo militar cuja função é o policiamento no âmbito das forças armadas. A Polícia Militar exerce, em relação aos membros das forças armadas, as mesmas funções que as polícias civis exercem em relação aos cidadãos não-militares.
O oficial que chefia a Polícia Militar de alguns exércitos e unidades militares é chamado preboste e por isso o Serviço de Polícia Militar é também, por vezes, designado Serviço de Preboste.