binary_relation (98B)
1 # Binary relation 2 3 A [relation] of [arity] two 4 5 Up: [relation] 6 7 See also: [FO2], [unary_relation]
