the transitive closure - Spanish English Dictionary