EDB — 070

Exercises

1. [070] (Proposed on 2022-10-27) The [01F]↺↻ property reformulates in this way.

   Show that P(x) frequently applies for \(x∈ X\) if and only if the set

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

   is cofinal in \(X\).