transitive relation in discrete mathematics