binary_relation