Theorem Let $f$ is a $T_1$-separable (the same as $T_2$ for symmetric transitive) compact funcoid and $g$ is an reflexive, symmetric, and transitive endoreloid such that $( \mathsf{FCD}) g = f$. Then $g = \langle f \times f \rangle \uparrow^{\mathsf{RLD}} \Delta$.