In particular, if is a function on a first-countable space, then has a limit at the point if and only if for every sequence where for all we have Also, if is a function on a first-countable space, then is continuous if and only if whenever then

In first-countable spaces, sequential compactness and countable compactness are equivalent properties. However, there exist examples of sequentially compact, first-countable spaces that