. . . "By saying an embedding f from Y to X, it is required that f is a function and $x