Conjecture If $f$ is a complete funcoid and $R$ is a set of funcoids then $f \circ \bigcup {\nobreak}^{\mathsf{FCD}} R = \bigcup {\nobreak}^{\mathsf{FCD}} \langle f \circ \rangle R$.
Conjecture If $f$ is a complete reloid and $R$ is a set of reloids then $f \circ \bigcup {\nobreak}^{\mathsf{RLD}} R = \bigcup {\nobreak}^{\mathsf{RLD}} \langle f \circ \rangle R$.
Conjecture If $f$ is a discrete funcoid and $R$ is a set of funcoids then $f \circ \bigcup {\nobreak}^{\mathsf{FCD}} R = \bigcup {\nobreak}^{\mathsf{FCD}} \langle f \circ \rangle R$.
Conjecture If $f$ is a discrete reloid and $R$ is a set of reloids then $f \circ \bigcup {\nobreak}^{\mathsf{RLD}} R = \bigcup {\nobreak}^{\mathsf{RLD}} \langle f \circ \rangle R$.