De rechters worden ook wel genoemd: de zittende magistratuur. Het Openbaar Ministerie wordt ook wel genoemd: de staande magistratuur.