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