結果 : properties of binary relation