Remark
23
[0B5](Proposed on 2022-11-24) Note that if we replace \(A\) with
\[ -A = \{ -x : xβ A\} \]
and \(l\) with \( -l\), we switch from the definitions of \(\sup \) to those of \(\inf \) (and vice versa).
EDB β 0B5
Managing blob in: Multiple languages