Are there any customary notation for: $(X\times Y) \cap f \ne \emptyset$ ($f$ is a binary relation, $X$ and $Y$ are sets)?
For example $\{ f(x) | x\in X \}$ is commonly denoted as $f[X]$. But are there any common notation for the above formula?
Are there any customary notation for: $(X\times Y) \cap f \ne \emptyset$ ($f$ is a binary relation, $X$ and $Y$ are sets)?
For example $\{ f(x) | x\in X \}$ is commonly denoted as $f[X]$. But are there any common notation for the above formula?
If $X$ is a subset of the domain of $f$ it is common to write $f|_X$ (sometimes $f\upharpoonright_X$). I have seen similar notations for restricting the range although these are not as common.
The most "concise" notation I can think of is $\displaystyle f|_{f^{-1}[Y]\cap X}$ (the subscript part is $f^{-1}[Y]\cap X$). That is to say, restrict $f$ to the preimage of $Y$ which is in $X$.
Regardless of the above, I think that the most concise way is to "Denote $g = (X\times Y)\cap f$ ..." which is clear and to the point. Many times unsophisticated notation yields the clearer results.