1. $\mathrm{Compl} f = f \setminus^{\ast \mathsf{FCD}} (\Omega\times^{\mathsf{FCD}} \mho)$ for every funcoid $f$?
2. $\mathrm{Compl} f = f \setminus^{\ast \mathsf{RLD}} (\Omega\times^{\mathsf{RLD}} \mho)$ for every reloid $f$?