Para el caso particular en que formula_11 es una relación que es a su vez es función, tenemos