surjective open maps in terms of nets


Theorem - Let f:XY be a surjective map between the topological spacesMathworldPlanetmath X and Y. Then f is an open mapping if and only if given a net {yi}iIY such that yiy, then for every xf-1({y}) there exists a subnet {yij}jJ that