Let X,Y be topological spaces. A map f:X→Y is continuous iff Every open set V⊆Y is the preimage f−1(V) is open in X.