A function f: X -> Y mapping elements in the [[topological space]] X to the topological space Y is continuous if for every [[open set]] in Y, the inverse image of Y under f is an open subset of X. | A function f: X -> Y mapping elements in the [[topological space]] X to the topological space Y is continuous if for every [[open set]] in Y, the inverse image of Y under f is an open subset of X. |