結果 : what is an equivalence relation discrete math