"De???nition: A binary relation between two sets X and Y is a subset of X ?? Y ??? i.e., is a set" . . . .