surjective open maps in terms of nets
Theorem - Let f:X⟶Y be a surjective map between the topological spaces X and Y. Then f is an open mapping if and only if given a net {yi}i∈I⊂Y such that yi⟶y, then for every x∈f-1({y}) there exists a subnet {yij}j∈J that