An area or region marked by some distinguishing feature.
the Soho district of London
An administrative division of an area.
An administrative division of a county without the status of a borough.
To divide into administrative or other districts.
The place where something happens.
The set of settings related to the language and region in which a computer program executes. Examples are language, currency and time formats, character encoding etc.
A partially ordered set with the following additional axiomatic properties: any finite subset of it has a meet, any arbitrary subset of it has a join, and distributivity, which states that a binary meet distributes with respect to an arbitrary join. (Note: locales are just like frames except that the category of locales is opposite to the category of frames.)