What are necessary and sufficient conditions for $latex \mathrm{up}\, f$ to be a filter for a funcoid $latex f$?
Several math research monographies
What are necessary and sufficient conditions for $latex \mathrm{up}\, f$ to be a filter for a funcoid $latex f$?