[0B4]As already seen in [01C]βΊβ», again in this case the following two propositions are equivalent.
βnot \(\Big(\) \(P(x)\) definitely applies, for \(x\) tending to \(x_ 0\) \(\Big)\)β,
β \(\big(\) not \(P(x)\) \(\big)\) frequently applies, for \(x\) tending to \(x_ 0\)β.
