








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.)
“로케일”의 수학적 정의는 매우 전문적이고 일상 언어에서 사용되지 않기 때문에, 그 단어를 그런 방식으로 정확하게 사용하는 실제 상황에 대한 문장을 만드는 것은 불가능합니다.