For each value Bini inputs into an algebraic relation, he gets exactly one output. Bini's relation is a function.