結果 : transitive closure of a relation example