1: $ is equivalent to convergence theorems for \emph{nets}, we have the implication $