結果 : properties of binary relations in discrete mathematics