A bijections is open iff it is closed

Let be a bijection between topological spaces. Then is open iff it is closed. #m/thm/topology

Proof

Let is closed iff for every open , for some open , which by bijectivity is true iff .

#state/tidy | #lang/en | #SemBr