Consideremos la relación binaria $R \subseteq X \times Y$ . ¿Existe un nombre y una notación estándar para el conjunto $X' = \{x\ |\ (x, y) \in R\}$ ?
- ProofWiki llama a $X'$ el preimagen de $R$ denotado como $\operatorname{Im}^{-1}(R)$ .
- Este sitio llama a $R$ a correspondencia , llamadas $X$ el predominio de $R$ y llama $X'$ el dominio de $R$ .
Ambas convenciones parecen tener sentido, aunque $X$ se denomina generalmente dominio de $R$ que yo también prefiero. Pero la notación $\operatorname{Im}^{-1}(R)$ es bastante engorroso y poco manejable -por no mencionar que apenas lo veo en otros sitios- y preferiría utilizar algo más sencillo como $\operatorname{dom} R$ o $\operatorname{pre} R$ si se aceptan.
Por supuesto, debería seguir la notación estándar, pero no encuentro consenso en Internet.
