Description: An alternate way of defining a transitive class. Exercise 7 of TakeutiZaring p. 40. Using dftr2c instead may avoid dependences on ax-11 . (Contributed by NM, 24-Apr-1994)