Definition
108
[06Y] (Solved on 2022-10-27) Let P(x) be a logical proposition that depends on a free variable \(x∈ X\). We will say that
|
P(x) holds eventually for \(x∈ X\) if |
\(∃ y∈ X, ∀ x∈ X,x≥ y⇒\) P(x) holds; |
|
P(x) frequently applies for \(x∈ X\) if |
\(∀ y ∈ X, ∃ x∈ X, x≥ y\) such that P(x) holds. |