A specific relation that links two elements together in such a way that
  if you know one, you can find the other.