Conjecture $\left\langle f \right\rangle \mathcal{X} = \bigcap^{\mathfrak{F}} \left\{ \left\langle F \right\rangle \mathcal{X} | F \in \mathrm{up}f \right\}$ for every funcoid $f$ and f.o. $\mathcal{X}$.
Proposition $\mathrm{dom}( \mathsf{\mathrm{FCD}}) f =\mathrm{dom}f$ and $\mathrm{im}(\mathsf{\mathrm{FCD}}) f =\mathrm{im}f$ for every reloid $f$.
Conjecture $\mathrm{dom}( \mathsf{\mathrm{RLD}})_{\mathrm{in}} f =\mathrm{dom}f$ and $\mathrm{im}( \mathsf{\mathrm{RLD}})_{\mathrm{in}} f =\mathrm{im}f$ for every funcoid $f$.