Is there an established German translation of "locale"? The term appears mostly untranslated as "Locale"; a single time I've seen "Lokal". Where I'm located, we say "Örtlichkeit" or "Ort".


Quoting the nLab: A [locale](http://ncatlab.org/nlab/show/locale) is, intuitively, like a topological space that may or may not have enough points (or even any points at all). It contains things we call open subspaces but there may or may not be enough points to distinguish between open subspaces. An open subspace in a locale can be regarded as conveying a bounded amount of information about the (hypothetical) points that it contains.


**Note to future readers:** Even though I accepted an answer, I would still be grateful if somebody could propose a proper German translation.



German translation of "locale" (from pointless topology)
[Wikipedia](https://de.wikipedia.org/wiki/Heyting-Algebra) uses "Locale", capitalized as a German noun but otherwise unchanged. It seems to resonate with how the word was originally introduced by [John Isbell](http://ojs.statsbiblioteket.dk/index.php/math/article/viewFile/11409/9426):



> 
> "an inspired choice, which conveyed all the right overtones about the
>  spatial nature of these objects without causing their algebraic
>  underpinnings to obtrude, and which at the same time was easily
>  capable of all the necessary inflections".
> 
> 
> 



```
[Handbook of the History of General Topology, Volume 3]

```

I might add that "locale" is a Fremdwort in English as well: the Oxford Dictionary gives its origin als "late 18th century: from French local (noun), respelled to indicate stress on the final syllable".


Some places of usage:
[locales](http://www.dmg.tuwien.ac.at/fg1/seminar/20040402.html) ---
[Lokale](http://www.iazd.uni-hannover.de/~pigors/punktfreie-topologie/)


