A diagram that illustrates how specific relations relate elements of
  one type to elements of another (or the same) type.