Talk:Detempering

Compact lattice

What is a "compact lattice"? I don't find a definition for this concept on the wiki. Does this relate to a specific mathematical concept of compactness, e.g. https://en.wikipedia.org/wiki/Compact_space? I'm embarrassed to note that the phrase has been on the page since the day I created it, so I'm responsible for this. Often I add stuff to the wiki at the behest of old-school RTT friends who don't participate in the wiki, and this has the air of something someone might have emailed, messaged, or texted me on a recommendation, but I can't find a record of it. It's possible this is just an informal usage, but I feel like I do see people sometimes use this "compact" term in a technical-seeming way, so if it is an objectively-defined property of importance to xen, I'd like to see it explicitly defined at least here and possibly in another centralized place on the wiki. --Cmloegcmluin (talk) 22:51, 24 January 2022 (UTC)