binary relation (Q130901)
set of ordered pairs with first element in A and second element in B
Language: