I added to my online research book the following theorem:
Theorem Let be a distributive lattice with least element. Let
. If
exists, then
also exists and
.
The user quasi of Math.SE has helped me with the proof.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I added to my online research book the following theorem:
Theorem Let be a distributive lattice with least element. Let
. If
exists, then
also exists and
.
The user quasi of Math.SE has helped me with the proof.