# infinite distributivity

## Distributivity of union of funcoids corresponding to reloids ★★

Author(s): Porton

\begin{conjecture} $\bigcup \left\langle ( \mathsf{\tmop{FCD}}) \right\rangle S = ( \mathsf{\tmop{FCD}}) \bigcup S$ if $S\in\mathscr{P}\mathsf{RLD}(A;B)$ is a set of \href[reloids]{http://www.wikinfo.org/index.php/Reloid} from a set $A$ to a set $B$. \end{conjecture}

Keywords: funcoid; infinite distributivity; reloid