is the same as the usual limit of at when the domain is equipped with the lower limit topology and the codomain carries the standard topology.
* In terms of separation axioms, is a perfectly normal Hausdorff space.
* In terms of countability axioms, is first-countable and separable, but not second-countable.