Proposition A reloid $f$ is complete iff there exists a function $G : \mho \rightarrow \mathfrak{F}$ such that
$f = \bigcup^{\mathsf{RLD}} \{ \{\alpha\} \times^{\mathsf{RLD}} G (\alpha) | \alpha \in \mho \}$.