Prefer a chat interface with context about you and your work?
<i>a</i><sup>โ</sup>-closures of completely distributive lattice-ordered groups