Funktionen

• Relation R⊆A₁×…×A_k

  heißt an der Stelle i (mit 1≤i≤k) eindeutig, wenn für jedes x∈A_i:

  R enthält höchstens ein Tupel t mit t_i = x.

• zweistellige Relation R, die an der ersten Stelle eindeutig ist (voreindeutig),

  heißt (partielle) Funktion (aus A₁ in A₂).