What Is Transitive Closure In Discrete Mathematics