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...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.