Conjecture $\langle f \rangle \bigsqcup S = \bigsqcup_{\mathcal{X} \in S} \langle f \rangle \mathcal{X}$ if $S$ is a totally ordered (generalize for a filter base) set of filters (or at least set of sets).