locales
Meanings
ロケール
Examples :
次の追加的な公理的性質を持つ部分的に順序付けられた集合:有限な部分集合は会合を持ち、任意の部分集合は結合を持ち、二項会合が任意の結合に関して分配されるという分配性。
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.)