Conjecture Let $S$ be a set of binary relations. If for every $X, Y \in S$ we have $\mathrm{up} (X \sqcap^{\mathsf{FCD}} Y) \subseteq S$ then there exists a funcoid $f$ such that $S = \mathrm{up}\, f$.