functional dependency
noun1
Given a relation R and two sets of attributes X,Y⊆R, a constraint X→Y where each X value in R is associated with precisely one Y value in R.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.