A theorem generalized

I generalized a theorem in the preprint article “Filters on posets and generalizations” on my Algebraic General Topology site.

The new theorem is formulated as following:

Theorem If $(\mathfrak{A}; \mathfrak{Z})$ is a join-closed filtrator and $\mathfrak{A}$ is a meet-semilattice and $\mathfrak{Z}$ is a complete lattice, then $\mathrm{Cor}' (a \cap^{\mathfrak{A}} b) = \mathrm{Cor}' a \cap^{\mathfrak{Z}} \mathrm{Cor}' b.$

• $\mathrm{Compl}(f\cap^{\mathsf{FCD}}g) = \mathrm{Compl}f\cap^{\mathsf{FCD}}\mathrm{Compl}g$.
• $\mathrm{CoCompl}(f\cap^{\mathsf{FCD}}g) = \mathrm{CoCompl}f\cap^{\mathsf{FCD}}\mathrm{CoCompl}g$.