Clarify the "transitive closure ":
The transitive closure of a binary relation R is the smallest relation, say T, such that
T(x,y) whenever there is a path from x to y in R