Prefer a chat interface with context about you and your work?
On Functions that Approximate Relations
Let X be a metric space and let Y be a separable metric space.Suppose R is a relation inA'X Y.The following are equivalent: (a) for each e > 0 there exists/: X -Y such that the Hausdorff distance from / to R is at most e; (b) the domain of …