"distrikt" er et 8-bokstavers substantiv som brukes som synonym for "arealdekning". arealdekning betyr: Et geografisk avgrenset område, ofte administrativt.