# Yet two simple theorems

I proved the following two simple theorems:

Proposition $\mathrm{Compl}f = \bigcup^{\mathsf{FCD}} \left\{ f|^{\mathsf{FCD}}_{\{ \alpha \}} \middle| \alpha \in \mho \right\}$ for every funcoid $f$.

Proposition $\mathrm{Compl}f = \bigcup^{\mathsf{RLD}} \left\{ f|^{\mathsf{RLD}}_{\{ \alpha \}} \middle| \alpha \in \mho \right\}$ for every reloid $f$.

See this online article for definitions and proofs.