A property whose value is formed by traversing a relation recursively.

  See also relation property.