結果 : example of transitive relation in discrete mathematics