Two variables operation continuity of effect algebras (Q2575474)

Let \(\mathcal L\) be an effect algebra \({\mathcal L}=(L,\perp, \oplus, 0,1)\). Then any \(a\in L\) has an orthocomplement \(a'\), and \(\mathcal L\) is equipped with a partial order \(\leq\) in a natural way. If \(\leq\) makes \(L\) a lattice, \(\mathcal L\) is called a lattice effect algebra. The authors main results (Thm 2.) concern joint continuity of addition \(\oplus\) and subtraction \(\ominus\) in a lattice effect algebra \(\mathcal L\) with respect to its order topology: If the net \((a_{\alpha})\) converges to \(a\) and \((b_{\alpha})\) converges to \(b\), then in the following two situations joint continuity occurs: (1) Let \(c\in L\) be such that \(a_{\alpha}\leq c\) and \(b_{\alpha}\leq c'\) for any index \(\alpha \). Then \((a_{\alpha}\oplus b_{\alpha})\) converges to \(a\oplus b\). (2) Let \(c\in L\) be such that \(a_{\alpha}\leq c \leq b_{\alpha}\) for any index \(\alpha\). Then \((a_{\alpha}\ominus b_{\alpha})\) converges to \(a\ominus b\). The proof uses a careful analysis (Thm. 1) of these two situations in the case of order convergence, as well as some lemmas from Z.~Riecanova.