結果 : equivalence relation example in discrete mathematics