Sea $A={a, b, c}$, y sea $R=\{(a, b), (c, b), (a, b)\}$. Encuentra el dominio de $R$ y la imagen de $R.
Esto sería muy elemental, pero quiero verificar mi respuesta.
Sea $R$ una relación de $A$ a $B$. Entonces, por definición, el dominio de la relación $R$ en símbolos es $$\operatorname{Dom}(R)=\{a\in A\;\vert\;(a, b)\in R\text{ para algún }b\in B\}$$
y la imagen de la relación $R$ en símbolos es $$\operatorname{Im}(R)=\{b\in B\;\vert\;(a, b)\in R\text{ para algún }a\in A\}$$
Entonces, $\operatorname{Dom}(R)=\{a, c\}, \operatorname{Im}(R)=\{b\}$.
