Condición desistencia: dau x, conocemos (x, f(x)), yá que conocemos la función f, y dau cualquier elementu y de B conocemos tamién (y, g(y)), yá que conocemos la función g. Por tanto, (x, g( f(x)) ) ta definíu pa tou x, y asina (g ∘ f) cumple la condición desistencia.