funcoid corresponding to reloid

Funcoid corresponding to reloid through lattice Gamma ★★

Author(s): Porton

Conjecture For every reloid $f$ and $\mathcal{X} \in \mathfrak{F} (\operatorname{Src} f)$ , $\mathcal{Y} \in \mathfrak{F} (\operatorname{Dst} f)$ :

$\mathcal{X} \mathrel{[(\mathsf{FCD}) f]} \mathcal{Y} \Leftrightarrow \forall F \in \operatorname{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f : \mathcal{X} \mathrel{[F]} \mathcal{Y}$

$\langle (\mathsf{FCD}) f \rangle \mathcal{X} = \bigcap_{F \in \operatorname{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f} \langle F \rangle \mathcal{X}$