Two new theorems about complete reloids

I have just proven the following two new theorems:

Theorem Composition of complete reloids is complete.

Theorem (\mathsf{RLD})_{\mathrm{out}} g \circ (\mathsf{RLD})_{\mathrm{out}} f = (\mathsf{RLD})_{\mathrm{out}} (g \circ f) if f and g are both complete funcoids (or both co-complete).

See this note for the proofs.

Leave a Reply