En cualquier caso, no es necesario que todos los elementos del dominio estén asociados con algún elemento del codominio.