# 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.