I’ve added to my book a new easy to prove theorem and its corollary:
Theorem If is a (co-)complete funcoid then
is a filter.
Corollary
- If
is a (co-)complete funcoid then
.
- If
is a (co-)complete reloid then
.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I’ve added to my book a new easy to prove theorem and its corollary:
Theorem If is a (co-)complete funcoid then
is a filter.
Corollary