EDB — 233

Exercises

1. [233]Prerequisites:[06Y]↺↻,[232]↺↻.Show that P(x) eventually holds for \(x∈ X\) if and only if the set

   \[ U=\{ x∈ X: P(x)\} \]

   is a neighborhood of \(∞\) in \(X\).