結果 : properties of binary relation in a set in discrete mathematics