Interestingly enough, as far as I remember, we did limits of sequences first (without functions) and then limits of functions (with $\varepsilon-\delta$) and then, as a remark, the connection mentioned above behind the very same Iron Curtain. Actually, in the end of our "limits course", our professor either did limits over nets, or stopped one step short of it: he certainly said all necessary words and made it clear that to talk about of a limit of a mapping, you just need some set of "catchers" in the range space and some set of "tails" in the argument space. That was a bit tough in the beginning but paid off nicely when doing Riemann integration where the tails are either partitions of small mesh or partitions subordinated to a fixed partition. I still find this abstract view rather enlightening; much more enlightening that the lemma in question, which, IMHO, only makes the concept more confusing (though is quite useful as a technical tool). The main reason for this opinion is that this abstract view is unifying: all notions of limit that the students will ever meet fall under this idea, only the choices of catchers and tails vary and only one magic phrase is ever needed: "For every catcher, there is a tail whose image is contained in the catcher". The lemma you mentioned is separating: if used as a definition rather than a remark, it creates an impression that there are many ad hoc concepts of limits that all have to be understood and memorized separately, creating quite a mess in the student's head. The $\varepsilon-\delta$ definition is already hard because it mixes the limit concept and the technical descriptions of the catchers and the tails, i.e., 3 things that can be easily separated and on which you can train the students one by one if you start with the abstract view. To be honest, I haven't tried it myself in the USA yet but I certainly will when teaching freshman analysis (so far it was either business calculus, where the game is never worth the candles, or advanced courses where the concept of limit was assumed to be well-known already).
Interestingly enough, as far as I remember, we did limits of sequences first (without functions) and then limits of functions (with $\varepsilon-\delta$) and then, as a remark, the connection mentioned above behind the very same Iron Curtain. Actually, in the end of our "limits course", our professor either did limits over nets, or stopped one step short of it: he certainly said all necessary words and made it clear that to talk about of a limit of a mapping, you just need some set of "catchers" in the range space and some set of "tails" in the argument space. That was a bit tough in the beginning but paid off nicely when doing Riemann integration where the tails are either partitions of small mesh or partitions subordinated to a fixed partition. I still find this abstract view rather enlightening; much more enlightening that the lemma in question, which, IMHO, only makes the concept more confusing (though is quite useful as a technical tool).