假设 X={1,2,3}, 那么X x X就是 {(1,1),(1,2),(1,3),(2,1), (2,2), (2,3), (3,1), (3,2), (3,3)}.
a binary relation B on X is a subset of X x X: B is a subset of X x X: (x,y) belongs to B
等同于 x stands in the relation B to y.

if (x,y) doesn't belong to B, 那就是  x doesn't stands in the relation B to y.

这个意思是说如果是（1,3）那么就有这个BINARY RELATION。
如果是（1,4）， 那么就没有这个BINARY RELATION，因为4不在X里面， （1,4）不是在B里面，不在X x X里面。

我这理解不知道对不对。