結果 : special properties of binary relations