Loading...
If x is an image of y under the function f. This can be written as