








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.)
Die verschiedenen Lernumgebungen in der Schule, wie die Bibliothek, das Klassenzimmer und der Spielplatz, sind alle Teil des Lokals der Lernerfahrungen.