超実数の場合は単に「そのうち成立してそこから先ずっと成立する」ではなくて「成立する集合が超フィルターに入る」で定義するからちょっと違う
n→∞のイメージはフレシェフルターで考えてる感じか