The transitive closure of a binary relation R on a set X is the minimal transitive relation R' on X that contains R. Thus a R' b for any elements a and b of X provided that there exist c_0, c_1, ..., c_n with c_0 = a, c_n = b, and c_r R c_(r + 1) for all 0<=r