結果 : antisymmetric relation in discrete mathematics examples