Remember, topologies are just glorified semi-lattices. If you have two semi-lattices X and Y, and a monotone function f from X to Y then an element a of X is a sufficient factor for b in Y if for any refinement of X W, refinement of Y Z and monotone function f': W -> Z that extends f, for any element w of W, w subs a => f'(w) subs b.