Let and be two topological spaces. A function is said to be open if is open for each open subset of .
Accordingly, if is closed for each closed subset of , we say that is closed.