Dominio

Sean dos conjuntos $A$ y $B$ y una correspondencia $(f)$ entre ellos, al conjunto de elementos $a \in A$ que les corresponda un elemento $b \in B$ , le llamaremos dominio de $f$ o $Dom(f) $ o conjunto de partida .

1. El dominio de $f$ es un subconjunto de $A$.
2. Si $f$ es una aplicación $A$ es el dominio y viceversa.
3. Si restringimos $A$ al $Dom(f) convertimos la correspondencia en aplicación.(esto es algo que se suele hacer)