lokal — meaning in English
Polish → English · translate English → Polish instead
English meaning
- locale noun The particular place where something happens or is set.
Senses
lokal is used for these senses in English:
- locale (mathematics) 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.)