Description: The well-ordered recursion generator generates a relationship. (Contributed by Scott Fenton, 8-Jun-2018)