transitive relations in discrete mathematics