Keyword: the transitive closing