結果 : transitive relation in discrete mathematics examples