# A conjecture proved

A proof of the following conjecture (now a theorem) was quickly found by me after its formulation:

Theorem $\left\langle f \right\rangle \mathcal{X} = \bigcap^{\mathfrak{F}} \left\{ \left\langle F \right\rangle \mathcal{X} | F \in \mathrm{up}f \right\}$ for every funcoid $f$ and f.o. $\mathcal{X}$.

See the updated version of my article “Funcoids and Reloids” for the proof.