[01F] Note that «P(n) holds frequently in \(n\)» if and only if «P(n) holds for infinitely many \(n\)».
(This equivalence is not true in a generic ordered set. See instead [070]↺↻ for the correct formulation).
