El lugar que acogió el cuartel general de la armada romana

El pretorio ( praetorium en latín) fue el nombre dado al cuartel general de la armada romana. El praetorium era la tienda o edificio del comandante de una fortificación romana en un castrum or castellum. Posteriormente el pretorio fue utilizado como residencia del procurador (gobernador) de la provincia romana. El término era usado asimismo para el cuartel general del emperador.

La palabra deriva del griego antiguo praitórion , con el mismo significado de cuartel general. El praetor (líder) fue en principio el título del funcionario de más alto nivel de la República Romana, pero ulteriormente se convirtió en la posición directamente inferior en rango al cónsul. La guardia personal de un general era conocida como la cohors praetoriae (cohorte pretoriana), de la cual nació la Guardia Pretoriana, la guardia personal del emperador.