binary relation in Japanese

(set theory, order theory, "on" a set A) A subset of the Cartesian product A \times A (the set of ordered pairs (a, b) of elements of A, alternatively written as A^2).