1: $\F_{\ref{sec:functions}}\subsetneq \F_{\ref{sec:convergence}}$