Collecting definitions of continuity. Let $X$ and $Y$ denote topological spaces and consider a function $f : X \rightarrow Y$. I'm collecting possible definitions/characterizations of the statement "$f$ is continuous."
Here's two to get us started.


*

*(Preimages of Open Sets) $f$ is continuous iff for all open $B \subseteq Y$ it holds that $f^{-1}(B)$ is open in $X$.

*(Direct Images of Open Neighbourhoods) $f$ is continuous iff for all $x \in X$ and all open $B \ni f(x)$, there exists open $A \ni x$ such that $f(A) \subseteq B$.


Bring 'em on!
Edit: Intuitively sensible definitions of continuity, which nevertheless fail, are also welcome (provide a counterexample).
Edit2: Does anyone know a way of characterising continuity in terms of boundary operators?
 A: *

*Inverse images of closed sets are closed.

*$f [ \overline{A} ] \subseteq \overline{ f[A] }$ for all $A \subseteq X$.

*$\overline{f^{-1} [ B ] } \subseteq f^{-1} [ \overline{B} ]$ for all $B \subseteq Y$;

*$f^{-1} [ \mathrm{Int} (B) ] \subseteq \mathrm{Int} ( f^{-1} [ B ] )$ for all $B \subseteq Y$.

*whenever $\langle x_\sigma : \sigma \in \Sigma \rangle$ is a net in $X$ with limit $x$, then  $f(x)$ is a limit of the net $\langle f(x_\sigma) : \sigma \in \Sigma \rangle$ in $Y$.  (Note that for this I am not assuming that nets have unique limits.)

A: For every net $(x_i)_{i \in I}$ that converges to some $x$ in $X$, $f(x_i)_{i \in I}$ converges to $f(x)$.
For every filter $\mathcal{F}$ on $X$ that converges to $x \in X$, $f[\mathcal{F}]$ converges to $f(x)$.
The inverse image of a closed set in $Y$ is closed in $X$.
For a fixed base $\mathcal{B}$ of $Y$, the inverse image of $O$ is open for every $O \in \mathcal{B}$.
As the previous statement, but then for subbases.
For every $A \subset X$, $f[\overline{A}] \subset \overline{f[A]}$
For every $B \subset Y$, $\overline{f^{-1}[B]} \subset f^{-1}[\overline{B}]$
For every $B \subset Y$, $f^{-1}[\operatorname{Int}(B)] \subset \operatorname{Int}(f^{-1}[B])$ 
