普遍ネット

$X$ を集合、$(x_\lambda)_{\lambda \in \Lambda}$ を $X$ のネットとする。任意の部分集合 $A \subseteq X$ に対し、「ある $\lambda_0$ があって $\lambda \ge \lambda_0$ なら $x_\lambda \in A$」と「ある $\lambda_0$ があって $\lambda \ge \lambda_0$ なら $x_\lambda \in X \setminus A$」の少なくとも一方が成り立つとき、このネットを普遍ネット（超ネット）という。