surjective open maps in terms of nets

Theorem - Let f:X⟶Y be a surjective map between the topological spacesX 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