An D548: Ordered pair $(X \times Y, R)$ is a binary relation structure if and only if

(1)	$X \times Y$ is a D326: Cartesian product
(2)	$R$ is a D4: Binary relation on $X \times Y$