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.)