DISTRICT. n. m. Dans l'ancienne France, Étendue de juridiction. Un juge ne peut juger hors de son district.
Il s'est dit aussi de Chacune des divisions principales d'un département. Chef-lieu de district. On dit aujourd'hui ARRONDISSEMENT.
Il se dit quelquefois, d'une manière plus générale, pour Toute division territoriale de médiocre étendue.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935