結果 : how to find transitive closure of a relation