I have just proven the following two new theorems:
Theorem Composition of complete reloids is complete.
Theorem if
and
are both complete funcoids (or both co-complete).
See this note for the proofs.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I have just proven the following two new theorems:
Theorem Composition of complete reloids is complete.
Theorem if
and
are both complete funcoids (or both co-complete).
See this note for the proofs.