Transitive closure

Transitive closure is a concept from graph theory, specifically related to directed graphs (digraphs) or relations. Essentially, the transitive closure of a directed graph is a new graph that contains the same vertices as the original graph, with additional edges that represent the transitive relations between those vertices.