División de funciones, dominio y contradominio