Description: Extend the definition of a class to include the transitive relations class.
class TrRels