Theorem If $f$ is a (co-)complete funcoid then $\mathrm{up}\, f$ is a filter.
1. If $f$ is a (co-)complete funcoid then $\mathrm{up}\, f = \mathrm{up} (\mathsf{RLD})_{\mathrm{out}} f$.
2. If $f$ is a (co-)complete reloid then $\mathrm{up}\, f = \mathrm{up}\, (\mathsf{FCD}) f$.