This method uses the descendants method from the Graphs package to compute the RelationMatrix from the relations $R$.



The object transitiveClosure is a method function.