結果 : binary relation definition math