What is the meaning of Binary_relation?

A subset of the Cartesian product A×A (the set of ordered pairs (a, b) of elements of A).

A subset of the Cartesian product A×B.

Source: wiktionary.org