 Any such function is called a Urysohn function for "A" and "B".In particular "A" and "B" are necessarily disjoint.It follows that if two subsets "A" and "B" are separated by a function then so are their closures.