Kelley's Theorem

Theorem
Let $\struct {D, \preceq}$ be a directed set,

Let $S$ be a non-empty set.

Let $n: D \to S$ be a net in $S$.

Then $n$ has a universal subnet.

Also see

 * Kelley's Theorem is Equivalent to Axiom of Choice